The selected candidate will have to conduct research on one of the topics currently studied in the Parsifal team, in particular within the projects
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 Straßburger (
lutz at lix dot polytechnique dot fr).
Deadline: August 24, 2012