coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Post-doc positions at INRIA

From: Christine Paulin <Christine.Paulin AT lri.fr>
To: coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk, types AT lists.chalmers.se
Subject: [Coq-Club] Post-doc positions at INRIA
Date: Mon, 4 Apr 2005 11:07:29 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

INRIA proposes 120 one-year post-doctoral positions for young
graduates. Deadline for application in april 22th
see
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html

You may be interested in particular by subjects proposed by the
LogiCal group
Documentation of the model theory of the Coq system
http://www-futurs.inria.fr/emplois/logical.en.html
and the ProVal group
http://www-futurs.inria.fr/emplois/proval.en.html
Advanced development in Java/JML

Christine Paulin

--
  Christine Paulin-Mohring             mailto :
Christine.Paulin AT lri.fr
  LRI, UMR 8623 CNRS, Bat 490, Universit� Paris Sud,   91405 ORSAY Cedex
  tel : (+33) (0)1 69 15 66 35         fax : (+33) (0)1 69 15 65 86

[Coq-Club] Post-doc positions at INRIA, Christine Paulin