Publiée 24 juin 2026
Research Engineer/ Create Software EICACS2 project
Inria
Paris, Île-de-France 75000, France
CDI
Contexte et atouts du poste
The D&S research team at Inria is seeking a talented research engineer to contribute to the EICACS2 project as a
software engineer.
As a research engineer within EICACS2, you will work alongside talented engineers and researchers who contribute
to the state of the art in program verification, static analysis, programming language semantics, and compiler
verification.
The starting date of the position can be discussed and adjusted with the selected candidate.
Mission confiée
To address challenges related to digital and technological sovereignty, efficiency, reliability, hardware and software
security, and the reduction of technological obsolescence-whether for connected devices, embedded systems, or
high-performance computing systems-Inria is seeking to engineer with strong expertise at the hardware/software
interface.
The position targets researchers with expertise in one or more of the following areas:
• Design of microarchitectures, memory hierarchies, and systems-on-chip (SoC) or networks-on-chip (NoC) for embedded systems or high-performance computing;
• Very low-level software layers such as DMA, Programmable Logic Devices (PLDs/FPGAs), offloading techniques, and fine-grained management of hardware/software interactions;
• Languages and tools for hardware design and verification;
• Compilation techniques for adapting software to hardware execution platforms (DSLs, Just-In-Time compilation, static and dynamic rescheduling, etc.);
• Security of software systems at the hardware/software interface, including secure architectures, trusted computing, isolation mechanisms, and protection against attacks.
Ideally, the candidate will combine strong expertise in one of these domains with substantial knowledge of at least
one of the others.
Highly technology-oriented profiles are particularly welcome.
A solid understanding of fields such as signal processing or artificial intelligence would be an additional asset, helping to anchor research activities in critical operational needs
Principales activités
Some of the more specific objectives of this position include:
• Upgrading existing software and developing new software components;
• Enhancing the interval analysis framework to also track properties;
• Enabling the analysis of individual functions, rather than restricting analysis to complete programs only;
• Conducting experiments to evaluate and measure the efficiency and precision of the analyzer.
Avantages
The D&S research team at Inria is seeking a talented research engineer to contribute to the EICACS2 project as a
software engineer.
As a research engineer within EICACS2, you will work alongside talented engineers and researchers who contribute
to the state of the art in program verification, static analysis, programming language semantics, and compiler
verification.
The starting date of the position can be discussed and adjusted with the selected candidate.
Mission confiée
To address challenges related to digital and technological sovereignty, efficiency, reliability, hardware and software
security, and the reduction of technological obsolescence-whether for connected devices, embedded systems, or
high-performance computing systems-Inria is seeking to engineer with strong expertise at the hardware/software
interface.
The position targets researchers with expertise in one or more of the following areas:
• Design of microarchitectures, memory hierarchies, and systems-on-chip (SoC) or networks-on-chip (NoC) for embedded systems or high-performance computing;
• Very low-level software layers such as DMA, Programmable Logic Devices (PLDs/FPGAs), offloading techniques, and fine-grained management of hardware/software interactions;
• Languages and tools for hardware design and verification;
• Compilation techniques for adapting software to hardware execution platforms (DSLs, Just-In-Time compilation, static and dynamic rescheduling, etc.);
• Security of software systems at the hardware/software interface, including secure architectures, trusted computing, isolation mechanisms, and protection against attacks.
Ideally, the candidate will combine strong expertise in one of these domains with substantial knowledge of at least
one of the others.
Highly technology-oriented profiles are particularly welcome.
A solid understanding of fields such as signal processing or artificial intelligence would be an additional asset, helping to anchor research activities in critical operational needs
Principales activités
Some of the more specific objectives of this position include:
• Upgrading existing software and developing new software components;
• Enhancing the interval analysis framework to also track properties;
• Enabling the analysis of individual functions, rather than restricting analysis to complete programs only;
• Conducting experiments to evaluate and measure the efficiency and precision of the analyzer.
Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
