Please be aware that all hirings need to be planned at least two months in advance. Thus, please write to us as soon as possible for an informal discussion!
You can join the team for research internships, funded PhD positions, postdocs, and permanent positions.
Permanent research scientist positions
Permanent positions (either as civil servants or long-term contracts) are available through national applications, with the process starting in January and the first application deadline in early February. Please do not wait for the national applications to open to reach us out. Let us know if you have any questions or are interested in applying!
Permanent professor (associate or full) positions
PhD positions
Open PhD positions to start in Fall 2024:
- Design and compilation of a mixed synchronous/asynchronous data-flow language, with Patrick Baillot, Julien Forget and Sylvain Salvati
- Formal Methods for Complexity Analysis, with Patrick Baillot
- Parametric design and analysis of adaptive real-time systems, with Julien Forget
- Reasoning on quantitative properties of programs with an algebraic approach, with Patrick Baillot
- Verification of differential privacy, with Patrick Baillot
