Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
il y a 3 jours
Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F General 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 CEA has 16,000 technicians, engineers, researchers and staff and operates in ten centers across France. Reference 2025‑38312 Category Mathematics, information, scientific, software Contract Internship Job title Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F Subject The internship aims to implement and improve an iterative methodology for exploring and evaluating complex critical embedded software architectures. The goal is to enhance the existing QuaRTOS‑DSE toolset by improving its formalization, interfacing with additional input models and verification tools, and integrating state‑of‑the‑art architecture strategies. Duration 6 months Responsibilities Study and analyze the current methodology formalization and framework. Identify limitations on hardware model integration, input model abstraction, and tool interoperability. Research and select APIs, languages, and tools to expand the framework’s capabilities. Implement an improved version of the framework and validate it against use cases. Apply formal verification techniques to evaluate extra functional system properties. Explore the use of generative AI for source‑code generation. Methods / Means Python, QT, PyEcore, textX, Eclipse EMF/xtext, Java Level required Master's degree, Bac+5 – Master of Science Skills Understanding of embedded critical software, knowledge of formal methods, fluent English, teamwork, curiosity. EEO Statement In line with CEA’s commitment to integrating people with disabilities, this job is open to all. Site Saclay Location SACLAY #J-18808-Ljbffr
-
Palaiseau, Île-de-France CEA-List Temps pleinInternship Subject:The internship aims to implement and improve the formalization and implementation of an iterative methodology for critical embedded software architectures exploration, guided by extra functional properties evaluation and verificationInternship Description:The internship aims to enhance the existing tooled metodology called QuaRTOS-DSE by...
-
Exploring The Generalizability of Ml-driven
il y a 2 jours
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Composants et équipements électroniques **Contrat**: - Stage **Intitulé de l'offre**: - Exploring the Generalizability of ML-driven Performance Model Generation for HW Design H/F **Sujet de stage**: - This internship provides a valuable opportunity to gain hands-on experience with machine learning techniques for...
-
Benchmarking The Scalability of Model-checker-based
il y a 2 semaines
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Benchmarking the scalability of model-checker-based detection of timing anomalies H/F **Sujet de stage**: - Safety-critical systems such as autonomous vehicles and modern avionic computers have to satisfy strong timing...
-
Formal Analysis of Fault-injection Countermeasures
il y a 2 jours
Palaiseau, France CEA Temps pleinPosition description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Formal analysis of fault-injection countermeasures within a secure RISC-V processor H/F **Subject**: - The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, devel-opment and...
-
Improving The Effectiveness of Llm-assisted Iss
il y a 2 jours
Palaiseau, France CEA Temps pleinPosition description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F **Subject**: - The internship aims to enhance the performance of large language models (LLMs) in generating Instruction Set Simulator...
-
Palaiseau, France CEA LIST Temps pleinDescription Subject Fault-injection attacks exploit hardware perturbations to drive a processor into unexpected states or execution paths, which can leak secrets or enable privilege escalation. Fault-injection attacks are taken into account in the design of high-security products (e.g. debit / credit cards, recent smartphones, etc.). The open-source...
-
Palaiseau, Î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...
-
Palaiseau, Î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...
-
Routing for Critical Wireless Multi-hop Robotic
il y a 5 jours
Palaiseau, France CEA Temps pleinPosition description **Category**: - Information system **Contract**: - Internship **Job title**: - Routing for critical wireless multi-hop robotic networks H/F **Subject**: - Indsutrial robotics, wireless routing, SDN **Contract duration (months)**: - 6 **Job description**: - Industrial robots are often deployed in areas that are hard to reach...
-
Grid Coloring for Object Sensing and Localization
il y a 2 semaines
Palaiseau, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Niveau de diplôme exigé **:Bac + 4 ou équivalent **Fonction **:Stagiaire de la recherche **A propos du centre ou de la direction fonctionnelle**: The Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with **Paris-Saclay...
