Inria Rennes 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