Programming languages and compilation M/F
New
- Tenure Track Position
This offer is open to people with a document recognizing their status as a disabled worker.
Offer at a glance
The Unit
CNRS Sciences informatiques
Contract Type
Tenure Track Position
Working hHours
Full Time
Remuneration
Annual salary from 54 600 Euros to 57 800 Euros depending on professionnal experience.
Apply Application Deadline : 02 September 2026 17:00
Job Description
Summary of the scientific project
There remains a strong and ongoing need in the development, design, and semantics of programming languages to provide the most contextually appropriate abstractions possible. This is particularly valuable for producing compilers and mechanized verification tools. For instance, one might consider programming languages like Rust, which offers safe yet optimized memory management, making it suitable for systems programming applications. Alternatively, domain-specific languages for parallelism can bridge the gap between deterministic specifications and target embedded code capable of running on parallel architectures (e.g., multi-core systems).
In most cases, these abstractions are achieved through the design of novel type systems, whose properties are formally proven. Exploiting these systems requires the development of modern compilation and verification techniques to generate code that is both safe and efficient. These research themes are actively explored by communities that publish in conferences such as POPL, PLDI, ICFP, OOPSLA, and ECOOP.
Summary of the teaching project
The activities of the person recruited will be part of the training dynamic of the higher education and research establishments envisaged through their specialized teaching programs in the field of science and technology.
Your Profil
Profile Required
Holders of a doctorate or a PhD or equivalent degree or applicants who have gained scientific qualifications or carried out scientific work deemed to be of an equivalent level.There is no restriction on the age or nationality of applicants. All CNRS positions are accessible to people with disabilities, with special arrangements for tests made necessary by the nature of the disability
Your Work Environment
Host Lab Strategy
This CPJ targets four laboratories (DI ENS, LIP, LMF, Verimag), which are prominent players in the field of programming and compilation.
The strategy of these units is to leverage this CPJ to strengthen themselves and broaden their expertise.
Institution Strategy
Developing more robust and better-adapted programming languages for diverse application domains is a major scientific challenge, both fundamental to computer science and highly relevant to broader societal issues. The CNRS—particularly CNRS Computer Science—aims to strengthen its national and international leadership in this field.
Although programming languages are ubiquitous in both industrial and academic applications, their design and evolution still require theoretical and practical breakthroughs to bridge the gap between theory and real-world needs. A rigorous yet application-driven approach will not only connect theoretical advancements with practical implementation but also facilitate the effective transfer of innovations to industry
International Strategy
CNRS welcomes and recruits a large number of international researchers. More than 30% of those recruited come from abroad. This recruitment will have the same ambition.
Compensation and benefits
Compensation
Annual salary from 54 600 Euros to 57 800 Euros depending on professionnal experience.
Total funding
200k€
Annual leave and RTT
44 jours
Remote Working practice and compensation
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
Research Policy
Open Science
The CNRS is developing a strong policy in favor of open science. Open science consists of making research results "as accessible as possible and closed as necessary". As such, the CNRS aims to make 100% of the texts of publications resulting from the work of its laboratories accessible , in particular through deposit in HAL. The data produced must also be made available and reusable, except for specific restrictions. In addition, the guiding principles of individual evaluation have been revised in accordance with the DORA declaration, to be more qualitative and to take into account all facets of the researcher's profession.
Science and society
The relationship between science and society is now recognized as a full dimension of scientific activity. The project will develop this dimension in synergy with all the partners. The resulting research work will contribute to informing public decision-making. Participatory science initiatives may be initiated with actors from the project’s socio-economic and cultural eco-system.
Scientific dissemination
The dissemination of the results will be done through world-class scientific productions: publications, patents, software... In addition, the results will be communicated to various targets such as scientific communities, media, decision makers, general public, schools, etc., with an adapted calendar. Specific tools may be developed such as websites, newsletters, meetings, international symposia, summer schools and conferences.
About the offer
| Offer reference | CPJ-2026-008 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
About the CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.
Create your alert
Don't miss any opportunity to find the job that's right for you. Register for free and receive new vacancies directly in your mailbox.