Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
il y a 4 jours
Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F Category: Mathematics, information, scientific, software Contract: Internship (6 months) Position description: 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 verification. It focuses on enhancing the existing QuaRTOS-DSE toolchain by expanding model integration, abstraction levels, and evaluation capabilities. Responsibilities Study and explore the existing methodology formalization and framework. Identify limitations of the current approach. Investigate APIs, languages, and tools that can enhance interoperability with more input models, higher abstraction levels, and additional evaluation/verification tools. Develop a new version/implementation of the framework improved on existing use cases. Methods / Means Eclipse EMF/xtext Python Java QT PyEcore textX Qualifications Master's degree (Bac+5 / Master of Science). Understanding of embedded critical software. Knowledge of formal methods is a plus. Fluent English. Teamwork and curiosity. Location Site: Saclay, CEA - LIST Centre d'intégration NanoInnov, France, Ile-de-France, Essonne (91), Palaiseau Candidate criteria Languages: English (Fluent), French (Beginner). In line with CEA's commitment to integrating people with disabilities, this job is open to all. Position start date: 01/03/2026 #J-18808-Ljbffr
-
Saclay, Île-de-France CEA Temps pleinPosition descriptionCategoryMathematics, information, scientific, softwareContractInternshipJob titleFormal methodology for the exploration and the evaluation of complex critical SW architecture M/FSubjectThe internship aims to implement and improve the formalization and implementation of an iterative methodology for critical embedded software architectures...
-
Formal Modeling of Microarchitectures
il y a 1 semaine
Saclay, France CEA Temps pleinLe CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. 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...
-
Saclay, Île-de-France CEA Temps pleinInformations 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...
-
Machine Learning with Uncertainty for Complex
il y a 1 jour
Saclay, France CEA Temps pleinPosition description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Machine Learning with Uncertainty for Complex Physics **Subject**: - Exploring uncertainty quantification integrated to Neural Networks for Physical Modelling **Contract duration (months)**: - 6 **Job description**: -...
-
Post-doc Researcher Timing Analysis of Embedded Real-time Systems
il y a 1 semaine
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...
-
Postdoc offer on the physics of mechanical metamaterials H/F
il y a 5 jours
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 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...
-
Image Editing Via Natural Language for Complex
il y a 6 jours
Saclay, France CEA Temps pleinDescription du poste **Domaine**: - Systèmes d'information **Contrat**: - Stage **Intitulé de l'offre**: - Image Editing via Natural Language for Complex Scene Representation H/F **Sujet de stage**: **Durée du contrat (en mois)**: - [6 mois] **Description de l'offre**: **Join us as an intern!** - CEA Tech Corporate from CEA Tech on Vimeo.- As an intern at...
-
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 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...
