The Coq mailing list

[Delphine Demange <delphine.demange AT irisa.fr>]

The Inria/IRISA Celtique group in Rennes (France) has one open
post-doctoral position. The position is funded by the national ANR
project Discover (http://discover.irisa.fr/).

The goal of the Discover project is to design, implement and formally
verify compilation techniques for high-level programming
languages. The project takes a resolute language-based approach, and
investigates the formalisation of adequate program intermediate
representations, optimisations, and their associated correctness proof
techniques.

More details about the position and the application procedure: please see
http://www.irisa.fr/en/page/post-doc-formal-semantics-and-compiler-verification

Do not hesitate to forward this email to any appropriate candidate or
mailing list.

Best regards,
--
Delphine Demange
Univ Rennes, Inria, CNRS, IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 22 26 - E-mail: delphine.demange AT irisa.fr
http://people.irisa.fr/Delphine.Demange