The Coq mailing list

["Stephane Lengrand (Work)" <lengrand AT lix.polytechnique.fr>]

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
after.

We are particularly interested in applicants with a background in one
or several of the following fields:

-Proof Theory
-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 on the topics and on the application procedure, please see
http://www.lix.polytechnique.fr/~lengrand/PSI
Applications will be closed on 10th MAY 2010.

Further enquiries should be addressed to Stephane Lengrand at
lengrand AT lix.polytechnique.fr,

Stephane Lengrand
CNRS - Ecole Polytechnique