[No longer available]
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,
- ProofCert, and
- 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 Straßburger (
lutz at lix dot polytechnique dot fr).
Deadline: August 24, 2012
