Alternance - Integrate LLMs in Papyrus: the CEA LIST Model Based System Engineering Platform (H/F)

Description de l'offre Context: The Embedded and Autonomous Systems Design Laboratory (LSEA) of the CEA LIST works on the development of tools and methodologies to design safe and efficient softwares. The systems developed must provide functions with associated service qualities. The increasing complexity of these systems makes it necessary to...

Position description Category Mathematics, information, scientific, software Contract Internship Job title Integrate Copilot in the Papyrus Platform to generate Domain Specific Models H/F Subject The objective of this internship is to integrate a Copilot serivce [1] in Papyrus to automate the generation of sysml based models. The targeted...

The Embedded and Autonomous Systems Design Laboratory (LSEA) of the CEA LIST works on the development of tools and methodologies to design safe and efficient softwares.The developed systems must provide functions with associated service qualities. The increasing complexity of these systems makes it necessary to approach their design at high levels of...

The Embedded and Autonomous Systems Design Laboratory (LSEA) of the CEA LIST works on the development of tools and methodologies to design safe and efficient softwares.The developed systems must provide functions with associated service qualities. The increasing complexity of these systems makes it necessary to approach their design at high levels of...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F Electronics components and equipments Contract Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge...

The objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the...

The objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the...

To address the issue of AI system verification, validation, and certification, existing work define a design solution combining AI algorithms and conventional algorithms. AI algorithms include all complex and/or black box algorithms that need to be certified. The conventional algorithms include functions that monitor and supervise AI code execution. These...

To address the issue of AI system verification, validation, and certification, existing work define a design solution combining AI algorithms and conventional algorithms. AI algorithms include all complex and/or black box algorithms that need to be certified. The conventional algorithms include functions that monitor and supervise AI code execution. These...

As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures...

Join CEA to Add Meaning to Your Work, Lead and Support National and International R&D Projects, Nurture and Ignite Your Curiosity. IN SUMMARY, WHAT DO WE OFFER YOU?The CEA is looking for a Software Engineer for AI-enabled Systems for the CEA/DRT (Technological Research Department) . This 36-month fixed-term executive position is based on the Nano-Innov site...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA).In the context of a national project, you will BE responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

ListLe CEA-List focalise ses recherches sur les systèmes numériques intelligents. Porteurs d'enjeux économiques et sociétaux majeurs, ses programmes de R&D sont centrés sur le manufacturing avancé, les systèmes cyber-physiques, l'intelligence artificielle et la santé digitale. En développant une recherche technologique de pointe, en collaboration...

Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf...

Simulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...

Simulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...

Description ListLe CEA-List focalise ses recherches sur les systèmes numériques intelligents. Porteurs d'enjeux économiques et sociétaux majeurs, ses programmes de R&D sont centrés sur le manufacturing avancé, les systèmes cyber-physiques, l'intelligence artificielle et la santé digitale. En développant une recherche technologique de pointe, en...

Description ListLe CEA-List focalise ses recherches sur les systèmes numériques intelligents. Porteurs d'enjeux économiques et sociétaux majeurs, ses programmes de R&D sont centrés sur le manufacturing avancé, les systèmes cyber-physiques, l'intelligence artificielle et la santé digitale. En développant une recherche technologique de pointe, en...