[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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:

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

Reply via email to