Post-doc position at ENS de Lyon

The ANR Project RECRE offers a 12-month post-doc position at ENS de Lyon for the academic year 2012-2013.

Research area

Applications related to the scope of realizability and proof theory will be prefered, but those relevant to another direction of the project by candidates with background in one/some of the following fields are also welcome.

  • Realizability (in intuitionistic and/or classical logic)
  • Proof theory, Linear Logic
  • Type theory, Proof assistants
  • Categorical Semantics
  • Concurrency, Rewriting


The post-doc researcher will work within the Plume team of the LIP, the computer science laboratory of ENS Lyon, which is a leading research and education institution in sciences.

Strong interaction with the other sites of the RECRE project is also expected.


The net salary will be around 2040 euro/month. This net salary is then subject to income tax.

Application procedure

Potential candidates are strongly recommended to express their interest as soon as possible by sending a short e-mail to Alexandre Miquel (Subject line: Post-doc RECRE).

The application should be sent before April 30th, including a resume, a list of publications and a research project (2 pages), as well as two names of possible references.

Important dates

  • Intention of application (short email): as soon as possible
  • Deadline for application: May 2nd, 2012
  • Suggested starting date: September 1th, 2012


Alexandre Miquel