Logic List Mailing Archive

Postdoctoral position in realizability and proof theory, Lyon (France)

======================================================================
                    POST-DOC POSITION at ENS de Lyon
======================================================================

(We apologize if you receive multiple copies of this announcement.)

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, Chambry).
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.

--
Alexandre Miquel
LIP (UMR 5668)
ENS de Lyon
http://perso.ens-lyon.fr/alexandre.miquel/