Email Gateway (Aug 22 2022 at 17:04): Email Gateway (Aug 22 2022 at 17:04):From: Thomas Genet <thomas.genet@irisa.fr>
Dear Isabelle users,
Here is an offer for a post-doctoral in the Celtique group in Rennes.
Please contact delphine.demange@irisa.fr for application or any question.
Best,
Thomas
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,
Last updated: Apr 20 2024 at 12:26 UTC