[ The Types Forum (announcements only),
The Laboratoire d'Informatique de l'Ecole Polytechnique, France,
offers 1 doctoral and 1 postdoctoral positions within the PSI
project dedicated to
"Proof Search control in Interaction with domain-specific methods"
The doctoral position is funded for 3 years while the post-doc
position is funded for 1 year, both starting in September 2010 or soon
We are particularly interested in applicants with a background in one
or several of the following fields:
-Logic Programming, in particular with constraints
-Automated or Interactive Theorem Proving
-Proof search in Type Theory and First-order logic
-Sat Modulo Theory
For more details please see http://lix.polytechnique.fr/~lengrand/PSI
For the application procedure, please contact Stephane Lengrand at
as soon as possible and BEFORE 1st MAY 2010.
Indeed, the deadline for the formal application procedure will be a
few weeks later.
CNRS - Ecole Polytechnique