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

http://team.inria.fr/parsifal/

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.


Profile:
--------

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


Application:
------------

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