[TYPES/announce] 1 PhD and 1 Post-Doc at CNRS - Ecole Polytechnique

[Stephane Lengrand (Work)]

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 please see http://lix.polytechnique.fr/~lengrand/PSI

For the application procedure, please contact Stephane Lengrand at
lengrand at lix.polytechnique.fr,
           as soon as possible and BEFORE 1st MAY 2010.
Indeed, the deadline for the formal application procedure will be a
few weeks later.

Stephane Lengrand
CNRS - Ecole Polytechnique