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

The ANR Project RECRE offers a 12-month post-doc position at ENS de Lyon for the academic year 2012-2013. The goal of the project RECRE 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.

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.

Potential candidates are strongly recommended to express their interest as soon as possible. The application itself should be sent before April 30th. For more information, see http://recre.ens-lyon.fr/postdoc/ or contact alexandre.miquel at ens-lyon.fr.