Possible permanent position at CNRS in 2026

Stream: job postings

[Sophie Morel]

Dear Lean community,

I am posting to announce that the CNRS is considering opening a permanent junior position ("chargé de recherche") in its 2026 hiring campaign reserved for people doing formalization and/or AI for mathematics, with a preference for formalization. This is not 100% certain yet because it needs to be validated by the CNRS's administrative committee, however there is a pretty good chance that it will happen.

I am the head of the CNRS hiring committee in mathematics, and I was authorized to make that announcement by the director of the CNRS math institute, as we want to attract as many strong candidates as possible.

This would be a permanent research-only position, based at a French university. There is no need to speak any French to apply and be successful. It is meant for younger researchers who already have a PhD: last year, people who were hired for CR positions were between PhD + 0 years and PhD + 6 years.

If all goes well, applications will open in early December 2025 and close in early January 2026, so if you are interested, you should start preparing your application, thinking about how you will get your PhD diploma translated to French, and contacting potential host departments in France now.

Here is a blog post from a computer scientist about what it is like to work at CNRS and how the application process works:
https://dominik-peters.de/blog/apply-to-cnrs/
Here is another post about how to prepare a CNRS application:
https://www.astroconcours.fr/2024/12/22/composition-cnrs-dossier.html
And here is the FAQ on the CNRS's website:
https://carrieres.cnrs.fr/en/concours-faq/

I will post official links to the application website and the candidate guide when the process actually starts.

Something else: if you have questions about the hiring process, please read the guides before asking, and then ask here so everybody can benefit from the answers. If you DM me about this, I will ignore you. :smile: