CNRS is to recruit 1 person in programming languages on a tenure-track position leading (if confirmed) to a "research director" position (senior scientist), which is pretty much like being an associate or full professor without teaching. This person may get affiliated to the LIG or VERIMAG labs in Grenoble (LIG and VERIMAG are to merge in 2027). CNRS is thus looking for somebody with some significant post-thesis experience.

The official announcement is not yet out, but I strongly advise that potential applicants contact me (David Monniaux) beforehand and not wait for the official announcement and official application process.

The research position will be about the following:

"There remains a significant need in the development, design and semantics of programming languages that provide abstractions best suited to their context of use. This is particularly useful for the development of compilers and automated verification tools. One might, for example, consider programming languages such as Rust, which features safe yet optimised memory management and can thus target applications in system programming, or languages dedicated to parallelism that enable the transition from a deterministic specification to target embedded code capable of running on parallel (multi-core) architectures. In most cases, these abstractions are achieved through the design of new type systems, whose properties are proven, and their implementation requires the development of modern compilation and verification techniques that enable the production of safe and efficient code. These research themes are actively pursued within the communities that publish in conferences such as POPL, PLDI, ICFP, OOPSLA and ECOOP."