> Markdown version of [/jobs/ext/726037-research-engineer-create-software-eicacs2-project](https://www.wearedevelopers.com/jobs/ext/726037-research-engineer-create-software-eicacs2-project). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Research Engineer/ Create Software EICACS2 project

- **Company:** Inria
- **Location:** Paris, France (Remote available)
- **Contract:** Permanent contract
- **Skills:** Static Program Analysis, Field-Programmable Gate Array (FPGA), Hardware Design, Information Systems Security Architecture Professional, Signal Processing, Software Systems, High Performance Computing, Software Security, Programming Languages
- **Published:** June 29, 2026
- **Apply:** https://fr.indeed.com/viewjob?jk=79d727b1ef7c1c4d

## About the Role

Do you have experience in SoC?, Do you have a Master's degree?, 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

## Description

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


## Related Videos

- [Quantum Computing - The tiny and the big challenges](https://www.wearedevelopers.com/videos/934-quantum-computing-the-tiny-and-the-big-challenges)
- [Perfect Pitch: Unveiling the Mathematical Symphony Behind a Guitar Tuner](https://www.wearedevelopers.com/videos/1095-perfect-pitch-unveiling-the-mathematical-symphony-behind-a-guitar-tuner)
- [Rethinking Intelligence: AI, Accessibility, and the Future of Inclusive Work - Artur Ortega](https://www.wearedevelopers.com/videos/1377-rethinking-intelligence-ai-accessibility-and-the-future-of-inclusive-work-artur-ortega)
- [More efficient software for more efficient microchips](https://www.wearedevelopers.com/videos/1164-more-efficient-software-for-more-efficient-microchips)
- [The age of agency: When products start to think and act](https://www.wearedevelopers.com/videos/1925-the-age-of-agency-when-products-start-to-think-and-act)
- [Building Systems that Last](https://www.wearedevelopers.com/videos/1389-building-systems-that-last)

## Related Articles

- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Top-Paying Tech Jobs (with Salaries)](https://www.wearedevelopers.com/magazine/372-top-paying-tech-jobs-with-salaries)
- [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)