Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Personnel des fonctions support (IT)

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.

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

• 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

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.