The ANR Project RECRE (http://recre.ens-lyon.fr/) offers a 12-month post-doc position at ENS de 
Lyon for the academic year 2012-2013.

The project RECRE is funded by the French National Research Agency
(ANR) and the partner teams are PPS-Pi.r2 (Paris 7), IML (Université Aix-Marseille II, Luminy) and 
LAMA (Université de Savoie, Chambéry).Its goal is to get a better understanding of the 
proofs-as-programs correspondence for classical logic using the tools of realizability, proof 
theory, linear logic, rewriting and concurrency.

* 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

* LOCATION    The post-doc researcher will work within the Plume team
  (http://www.ens-lyon.fr/LIP/PLUME/) of the LIP, the computer science
  laboratory (http://www.ens-lyon.fr/LIP/) 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.

* SALARY    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 dot miquel at ens-lyon dot fr
  (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

* Contact:  alexandre dot miquel at ens-lyon dot fr

Further information will possibly be made available from the web page of the project indicated above.