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@lix.polytechnique.fr> Deadline: August 24, 2012 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]