[TYPES/announce] Post-doc position in Formal Semantics and Compiler Verification

[Delphine Demange]

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.demange at irisa.fr <mailto:delphine.demange at irisa.fr>
http://people.irisa.fr/Delphine.Demange <http://people.irisa.fr/Delphine.Demange>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180412/db5f7737/attachment.html>