Post-doc Researcher Timing Analysis of Embedded Real-time Systems

Description du poste

**Domaine**:

- Composants et équipements électroniques

**Contrat**:

- Post-doctorat

**Intitulé de l'offre**:

- Post-doc Researcher timing analysis of embedded real-time systems H/F

**Sujet de stage**:
**Durée du contrat (en mois)**:

- 24

**Description de l'offre**:

- Your main responsibilities will include:

- Proposing and developing an approach to generate formal models of processor pipelines. This involves utilizing a cycle-accurate intermediate representation of pipelines incorporating their micro-architecture optimizations. While LECA has previously developed formal models of pipelines for TA detection within code, these models were manually created.
- Utilizing the formally generated models as part of a pipeline analysis in a static WCET analysis tool provided by a collaborative partner. Specifically, the outcomes of cache analyses will guide the identification of temporal variations to be considered in the detection of TAs within basic blocks of input code.
- Defining microarchitectural-level instructions to alleviate the presence of various types of TAs at basic-block boundaries. These instructions will play a crucial role in the exploration process of RISC-V embedded microarchitectures, particularly when targeting safety-critical systems.

You are also expected to:

- Communicate about the work to the project partners, but also work directly with the French partners of the project;
- Participate in the scientific dissemination of the team's research results (contributions to publications in international conferences) and in the development of our innovations (writing of patents).
- #CEA-List ; #Post-doc ; ##IoT ; #LI-CB1 ; #Post-doctorat ; #Researcher_

You have acquired the following technical skills
- Formal methods: formal specification language, model-checking environment, SMT solvers, etc.
- Experience in terms of interaction with partners in collaborative and/or industrial projects as well as in terms of scientific publications is also expected.
- Desired personal qualities:

- Ability to work in a team, while showing a good autonomy in daily life;
- Scientific curiosity, taste for technical challenges;
- Ability to understand and solve complex problems;
- Ability to take a step back and have a transverse vision;
- Rigorous work methods and a spirit of synthesis.

In accordance with the commitments made by the CEA in favor of the integration of people with disabilities, this job is open to everyone.

Localisation du poste

**Site**:

- Saclay

**Localisation du poste**:

- France, Ile-de-France, Essonne (91)

**Ville**:

- Saclay

Demandeur

**Disponibilité du poste**:

- 07/07/2025

Informations générales

**Entité de rattachement**:
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.

Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.

Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.

Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales:

- La conscience des responsabilités
- La coopération
- La curiosité

**Référence**:2025-35815

**Description de l'unité**:

- The CEA's technology research division (DRT) develop a broad portfolio of technologies in the fields of information and communication, energy and health.
CEA technology research division leverages a unique innovation-driven culture and unrivalled expertise to develop and disseminate new technologies for industry, effectively bridging the gap between the worlds of research and industry.
CEA-List is a research institute specialized in smart digital systems, located in the heart of the Paris-Saclay science and technology cluster.