Research Engineer/ Create Software EICACS2 project
Research Engineer/ Create Software EICACS2 project
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.
Target Competencies
- 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 re‑scheduling, 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.
Key Objectives
- Upgrade existing software and develop new software components.
- Enhance the interval analysis framework to also track properties.
- Enable the analysis of individual functions, rather than restricting analysis to complete programs only.
- Conduct experiments to evaluate and measure the efficiency and precision of the analyzer.
Avantages
- 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.