Emplois actuels liés à Researcher Timing Analysis of Embedded Real-time Systems - Saclay - CEA
-
Saclay, France CEA Temps pleinDescription 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...
-
Saclay, France CEA Temps pleinPosition description **Category**: - Environment and climate science **Contract**: - Postdoc **Job title**: - Real-time process monitoring using dynamic Life Cycle Assessment modelling F/H **Subject**: - Application to the decarbonization of industrial processes The CyVi research group at the University of Bordeaux, specializing in life cycle...
-
Saclay, France CEA Temps pleinRuntime Root-Cause Analysis for Intelligent Robots via Causal AI Techniques H/F Contract: Internship (6 months) Location: Saclay, France (Palaiseau, Essonne) Industry: Research Services Employment Type: Internship – Seniority level: Not applicable Position Description Root‑Cause Analysis (RCA) identifies the fundamental cause of failures, not just...
-
Research Engineer in AI-Driven Modeling
il y a 2 semaines
Saclay, Île-de-France CEA Temps pleinGeneral information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...
-
Generate erroneous reasoning to enhance explainable AI H/F
il y a 3 jours
Saclay, France CEA Temps pleinLocated in Saclay, in the southern Île-de-France region, CEA LIST is a scientific and technological research center dedicated to the development of software, embedded systems, and sensors for applications in defense, security, energy, nuclear, environment, and healthcare. CEA LIST has more than 700 researchers focusing on intelligent digital systems, with...
-
Saclay, Île-de-France CEA Temps pleinGeneral information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...
-
Research Engineer in Ai-assisted Methods for Model
il y a 6 jours
Saclay, France CEA Temps pleinPosition description **Category**: - Electronics components and equipments **Contract**: - Fixed-term contract **Job title**: - Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F **Socio-professional category**: - Executive **Contract duration (months)**: - 24 **Job description**: **Join the CEA to give...
-
Saclay, France CEA Temps pleinPOSTDOC (M/F) - Modeling and Analysis of Prospective Scenarios for Hydrogen in France and Germany H/FThe use of hydrogen produced by electrolysis, along with its derivatives (such as synthetic methanol and synthetic kerosene), is one of the solutions envisioned to decarbonise certain sectors such as the steel industry and sea and air transport.The...
-
Saclay, Île-de-France CEA Temps pleinGeneral information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...
-
Saclay, Île-de-France CEA Temps pleinPosition descriptionCategoryMathematics, information, scientific, softwareContractPostdocJob titlePOSTDOC (M/F) - Modeling and Analysis of Prospective Scenarios for Hydrogen in France and Germany H/FSubjectThe use of hydrogen produced by electrolysis, along with its derivatives (such as synthetic methanol and synthetic kerosene), is one of the solutions...
Researcher Timing Analysis of Embedded Real-time Systems
il y a 2 semaines
Description du poste
**Domaine**:
- Composants et équipements électroniques
**Contrat**:
- CDD
**Intitulé de l'offre**:
- Researcher timing analysis of embedded real-time systems - CDD H/F
**Statut du poste**:
- Cadre
**Durée du contrat (en mois)**:
- 24
**Description de l'offre**:
representations of processors from their Instruction Set Architecture (ISA).
Timing Anomalies (TAs) are execution phenomena known to hinder these analyses and must be supported. 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:
- Computer architecture and programming: knowledge of multi/many-core
- 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**:
- 18/08/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-36230
**Description de la Direction**:
- Au sein du CEA, l'Institut LIST dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante. Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et pour améliorer leur compétitivité.
**Description de l'unité**:
- Le département des systèmes et circuits numériques intégrés (DSCIN) a pour ambition de faire le lien entre la technologie et l'algorithme en tirant partie de compétences sur le continuum numérique : de la conception matérielle (électronique et microélectronique) à l'optimisation algorithmique en passant par la prise en compte architecturale (de systèmes embarqués ou de serveurs) tout en adressant un large spectre applicatif (cybersécurité, internet des objets, calcul haute performance, intelligence artificielle, technologies émergentes ).
