Emplois actuels liés à Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F - Palaiseau - CEA
-
Application of Formal Methods for Interferences
Il y a 3 mois
Palaiseau, France CEA Temps pleinPosition description **Category**: - Electronics components and equipments **Contract**: - Fixed-term contract **Job title**: - Application of formal methods for interferences management H/F **Socio-professional category**: - Executive **Contract duration (months)**: - 18 **Job description**: - Your main missions will be: - To propose and develop...
-
Palaiseau, France CEA Temps pleinDescription de l'offre The Environmental Design and Architecture Laboratory (LECA), within the Digital Systems and Integrated Circuits Department (DSCIN), is a multidisciplinary technological research team comprising experts in hardware IP design and simulation tools. A key contribution of the Lab lies in its innovative methodologies and tools for...
-
Exploring The Generalizability of Ml-driven
Il y a 2 mois
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 4 mois
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...
-
Formal Analysis of Fault-injection Countermeasures
Il y a 2 mois
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 mois
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...
-
Data Architect Expert for Digital Transformation
il y a 4 semaines
Palaiseau, Île-de-France Safran companies Temps pleinJob DescriptionAs a Data Architect at Safran Landing Systems, you will play a crucial role in designing and implementing the company's data architecture and strategy. This position is part of a digital transformation program initiated by the group, which aims to create a DATA 4.0 environment.Key Responsibilities:Define an architecture that addresses business...
-
Understanding The Multisensory Integration Process
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Recherche biomédicale, clinique, préclinique **Contrat**: - Stage **Intitulé de l'offre**: - Understanding the Multisensory integration process through whole brain network modelling H/F **Sujet de stage**: - Understanding the Multisensory integration process through whole brain network modelling. **Durée du...
-
Routing for Critical Wireless Multi-hop Robotic
Il y a 3 mois
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...
-
Data Architect Lead
il y a 4 semaines
Palaiseau, Île-de-France Safran companies Temps pleinJob SummaryWe are seeking a highly skilled Data Architect Lead to join our team at Safran companies. This is an exciting opportunity for a talented individual to design and implement our organization's data architecture and strategy.About the RoleThe successful candidate will contribute to the development of our DATA 4.0 environment, defining architecture to...
-
Head of IT and Devops
il y a 1 mois
Palaiseau, France Market Pay Temps pleinMarket Pay is a fast-growing and profitable Fintech company that provides enterprise payment solutions to globally recognized brands such as Carrefour, Enterprise Rent-a-Car, IBM, Husqvarna, Orange, Tabesto, and many more. With a presence in Belgium, Brazil, Canada, Denmark, France, Italy, Lithuania, Spain, Poland, and the USA, we operate in an international...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste The ANR FITNESS project, part of the PEPR Network of the Future, funds this Ph.D. program. Mission confiée Context Intelligent Transport System is open to new applications and services (e.g., infotainment, video streaming, etc.) leveraging vehicle and consumer interaction opportunities. Among such opportunities is...
-
Palaiseau, France CEA Temps pleinDescription de l'offre Multisensory integration (MSI) is a fundamental aspect of perception, enabling organisms to combine inputs from different sensory modalities to form a unified representation of the external world. MSI involves a complex interplay of neural mechanisms across various brain regions and levels of processing. Due to the rapid...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste Inria is the French national institute for research in computer science, control, and applied mathematics promoting scientific excellence and technology transfer. The research topics of pour group are at the intersection of mathematical biology, statistics, control engineering, and statistical physics applied to problems in...
-
Phd Position F/m Sampling Method for Stratified
Il y a 2 mois
Palaiseau, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Mission confiée**: In the context of non-destructive testing (NDT) of the civil engineering of EDF's nuclear and hydro power plants in operation, the challenges of extending the service life of...
-
Grid Coloring for Object Sensing and Localization
Il y a 4 mois
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...
-
Head of Frontend Engineering
il y a 4 semaines
Palaiseau, France Ancient Gaming Temps pleinAt Ancient Gaming, we lead the way in innovation within the iGaming software industry. As pioneers, we are constantly pushing the boundaries of what's possible, setting new standards with engaging software and transformative experiences. Our products are designed to captivate a high-spending, forward-thinking generation eager to reshape the future of...
-
Head of Frontend Engineering
il y a 19 heures
Palaiseau, France Ancient Gaming Temps pleinAt Ancient Gaming, we lead the way in innovation within the iGaming software industry. As pioneers, we are constantly pushing the boundaries of what's possible, setting new standards with engaging software and transformative experiences. Our products are designed to captivate a high-spending, forward-thinking generation eager to reshape the future of...
-
Post-doctoral position in Optimizing the selection of Metal Oxide
il y a 3 semaines
Palaiseau, Essonne, France Institut Mines-Télécom Temps pleinABOUT TELECOM SUDPARIS Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding....
-
Palaiseau, Île-de-France INRIA Temps pleinCompany OverviewINRIA, a leading French research institute, is seeking a highly skilled Post-Doctoral Researcher to join our team. We are committed to pushing the boundaries of innovation and excellence in the field of Artificial Intelligence.Job DescriptionWe are looking for a talented researcher to conduct cutting-edge research at the intersection of...
Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
il y a 1 mois
Position description
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 the formalization and implementation of an iterative methodology for critical embedded software architectures exploration, guided by extra functional properties evaluation and verification
Contract duration (months)
6
Job description
The internship aims to enhance the existing tooled metodology called QuaRTOS-DSE by improving the formalization and the implementation of the existing methodology.
The internship will address the exploration and the evaluation of complex critical SW architecture. Obtained SW architecture will be evaluated by a formal verification of extra functional system properties using existing tools.
The exploration and the evaluation of complex critical SW architecture will be performed with an Iterative tool (a first version with a first formalization of the approach exists), at the level of functions, tasks, agents, actors and will integrate some SotA architecture strategies and best practices for critical SW. The approach must integrate an evaluation of some metrics and a connection with evaluation tools.
The existing framework has very slight integration of the HW model, limitations on construction of input model (abstraction level) and limitations model transformation/generation for the evaluation and verification tools
The main activities of the internship will be:
Study/explore the existing (the methodology formalization and the existing framework),
Identify limitations,
Identify/find APIs, languages and tools who can enhance the interoperability of the existing framework to address more input model, more abstraction level and more evaluation and verification tools
A new version/implementation of the framework improved on existing use cases
During this internship, the student will gain practical experience with safety critical systems and formal vérification techniques. This project provides a valuable opportunity to develop key skills in the design of safety critical systems. The use of generative AI tools for generated source code will be explored in this internship.
Methods / Means
Eclipse EMF/xtext, Python, Java
Applicant Profile
Master's degree, Bac+5 - Master of Science
Understanding embedded critical SW, and knowledge of formal methods would be a plus. English fluent, teamwork, curiosity
In line with CEA's commitment to integrating people with disabilities, this job is open to all.
Position location
Site
Saclay
Job location
France, Ile-de-France, Essonne (91)
Location
Palaiseau
Candidate criteria
Languages
English (Fluent)
Prepared diploma
Bac+5 - Diplôme d'études approfondies (DEA)
Recommended training
Understanding embedded critical SW, and knowledge of formal methods would be a plus. English fluent,
PhD opportunity
Non
Requester
Position start date
03/03/2025
