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 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...
-
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...
-
Postdoc offer on the physics of mechanical metamaterials H/F
il y a 3 jours
Saclay, France CEA Temps pleinPostdoc offer on the physics of mechanical metamaterials H/FCategoryCondensed Matter Physics, chemistry, nanosciencesContractJob titlePostdoc offer on the physics of mechanical metamaterials H/FExecutive24The successful candidate will be responsible for:1. Develop the numerical and analytical tools required to design these tunable random architectures and...
-
Saclay, France DRFJOLIOTSPI Temps plein**Miniaturized fluidized bed for the efficient capture of pathogens**: - Réf **ABG-131761** - Sujet de Thèse - 07/05/2025 - Financement public/privé - DRF/JOLIOT/SPI - Lieu de travail- SACLAY - Ile-de-France - France - Intitulé du sujet- Miniaturized fluidized bed for the efficient capture of pathogens - Champs scientifiques- Biologie - Mots clés-...
-
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 4 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...
-
Researcher Timing Analysis of Embedded Real-time Systems
il y a 2 semaines
Saclay, France CEA Temps pleinDescription 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...
-
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...
-
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...
