Post-Doctoral in Formal Methods: The Inria Centre at Rennes University is inviting applications for a post-doctoral research position focused on integrating safe AI planning and reinforcement learning with formal methods. This role provides an exciting opportunity to engage in innovative research that intertwines AI and formal methods while collaborating with industry partners.
Post-Doctoral Research Visit in Safe AI Planning and Reinforcement Learning Using Formal Methods
Designation
Post-Doctoral Research Visitor
Research Area
Artificial Intelligence, Formal Methods, Reinforcement Learning, Planning, Markov Decision Processes
Location
Inria Centre, Rennes University, Rennes, France
Eligibility/Qualification
- PhD in Computer Science or equivalent
- Up to 3 years of post-doctoral experience
- Background in probability and Markov chains; knowledge in reinforcement learning and planning is advantageous but not mandatory for strong theoretical candidates.
- Good level of English and strong communication skills
- Interest in collaborative work
Job Description
The primary objective of this position is to develop safe planning and reinforcement learning algorithms with varying levels of confidence for different variants of Markov Decision Processes (MDPs). The candidate will:
- Collaborate with researchers from Inria and Mitsubishi Electric R&D Centre Europe (MERCE).
- Focus on practical solutions utilizing dynamic programming, mathematical solvers, or adaptations of reinforcement learning algorithms.
- Analyze theoretical properties of the developed algorithms, including complexity and optimality measures.
- Validate algorithms through experimental case studies.
This is a fully academic position where the candidate is expected to conduct research, collaborate with other researchers, write papers, and present findings at conferences.
How to Apply
Interested candidates should submit their application online at the Inria website, including a resume, cover letter, and letters of recommendation.
Last Date to Apply
November 30, 2025
Remuneration: Monthly gross salary of €2,788, with various benefits including subsidized meals, transport reimbursement, and flexible working hours.
