[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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."
