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/ <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
<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.dema...@irisa.fr
<mailto:delphine.dema...@irisa.fr>
http://people.irisa.fr/Delphine.Demange
<http://people.irisa.fr/Delphine.Demange>
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
