Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Post-doc position at Inria Rennes on AI and fo...

Email Gateway (Jan 19 2026 at 16:36):

From: Thomas Genet <thomas.genet@irisa.fr>

Inria Rennes (France) is looking for a post-doc with a strong background
in either Artificial Intelligence (AI) or in formal methods (FM). The
post-doc will join a collaboration between Inria and Mitsubishi
Electric R&D Centre Europe (MERCE) on formal reasoning applied to AI
for software engineering.

The objective is to propose new AI techniques to generate correct and
informative formal code annotations from program source.

https://jobs.inria.fr/public/classic/en/offres/2025-09680

For more information, contact Thomas.Genet@irisa.fr
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet@irisa.fr
http://people.irisa.fr/Thomas.Genet

Last updated: Jan 31 2026 at 12:53 UTC