[TYPES/announce] Postdoc Position at LIX/Ecole Polytechnique

Lutz Strassburger lutz at lix.polytechnique.fr
Tue Jul 24 12:02:59 EDT 2012

There is a 12 month postdoc position available at LIX, Ecole Polytechnique, 
within the PARSIFAL team.


The selected candidate will have to conduct research on one of the topics
currently studied in the Parsifal team, in particular within the projects

- STRUCTURAL (http://www.lix.polytechnique.fr/~lutz/orgs/structural.html),
- ProofCert (http://team.inria.fr/parsifal/proofcert/), and
- RAPT (http://www.lix.polytechnique.fr/~kaustuv/rapt/)

Starting date should be between September and December 2012.


Candidates must have a PhD in Computer Science with strong background in
proof theory, declarative programming, and related fields.


Applicants should send their application, consisting of a CV, a research 
statement of 1-2 pages, explaining how they would integrate in the Parsifal 
team, and two recommendation letters (or names of at least two references) to:

Lutz Strassburger <lutz at lix.polytechnique.fr>

Deadline: August 24, 2012

More information about the Types-announce mailing list