Post-Doctoral Research Visit – Inria University of Lille, France

Postdoc in France

Post-Doctoral Research Visit – Formal Proofs for Machine Learning: Inria University of Lille is seeking a Post-Doctoral Researcher to join the Scool team, focusing on formal proofs for machine learning algorithms using the Lean theorem prover. This position is an exciting opportunity to work on innovative research at the intersection of machine learning and formal methods.

Post-Doctoral Research Visit – Formal Proofs for Machine Learning

Designation

Post-Doctoral Researcher (F/M)

Table of Job Details

AttributeDetails
Research AreaOptimization, Learning, and Statistical Methods
LocationVilleneuve d’Ascq, France
Contract Duration1 year, 6 months
Desired Start DateJanuary 1, 2026
Application DeadlineSeptember 5, 2025

Eligibility/Qualification

  • PhD or equivalent in a relevant field.
  • Proficiency with Lean or a similar theorem prover.
  • Knowledge of mathematical tools required for machine learning theory, particularly probability theory.
  • Familiarity with machine learning or bandit algorithms is advantageous.
  • Strong scientific communication skills in English.

Job Description

The postdoctoral candidate will:

  • Formalize machine learning algorithms, starting with bandit algorithms, in the Lean theorem prover.
  • Develop tools for proving theoretical guarantees about these algorithms.
  • Manage a collaborative project, including coordinating contributions and reviewing pull requests.
  • Disseminate research findings through publications and presentations at conferences.

How to Apply

Interested candidates must submit their applications online through the Inria career portal. Applications sent via alternative channels may not be considered.

Last Date to Apply

September 5, 2025

Additional Benefits

  • Subsidized meals and partial reimbursement of public transport costs.
  • 7 weeks of annual leave + 10 extra days off.
  • Flexible working hours and remote work options.
  • Access to professional training and social events.

For inquiries, please contact Remy Degenne at remy.degenne@inria.fr.

Link

LEAVE A REPLY

Please enter your comment!
Please enter your name here