The Inria/IRISA Celtique group in Rennes (France) has one open
post-doctoral position. The position is funded by the national ANR
project Discover ( <>).

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

More details about the position and the application procedure: please see 

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: 
Why3-club mailing list

Reply via email to