[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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>