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 ...