Post-doc application of formal methods for interferences management H/F
Il y a 3 mois
Position description
Category
Electronics components and equipments
Contract
Fixed-term contract
Job title
Post-doc application of formal methods for interferences management H/F
Socio-professional category
Executive
Contract duration (months)
18
Job description
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 (COTS) multi-core hardware platform.
Your main missions will be :
To propose and develop a formal modeling strategy for the temporal behavior of the hardware platform's microarchitecture and memory hierarchy based on microbenchmarking results of the platform. The microbenchmarking results are produced by a project partner. This modeling will be used to identify interferences and the impact of temporal anomalies on memory accesses, especially their temporal predictability. To propose and develop an approach to make the execution of applications more predictable by reducing the interferences identified in point 1. via the definition of specific rules at the level of their execution model but also at the level of their programming model to guide code synthesis. The whole will be enhanced by the integration of such an approach within a compilation environment chosen by the project partners.You are also expected to :
Communicate about the work to the project partners, but also work directly with the French and German partners of the project;
Participate in the scientific dissemination of the team's research results (contributions to publications in international conferences) and in the development of our innovations (writing of patents).
To carry out your mission, you will benefit from a first class environment at CEA LIST with access to a large number of reference tools and a strong experience in the application of formal methods to the verification of properties such as temporal anomalies.
Applicant Profile
You have a PhD in the field of electronics or embedded systems. You have significant experience in architecture and/or compilation as well as in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore architectures. You enjoy working in an applied research environment at the state of the art and proposing innovations and various application areas.
You have acquired the following technical skills
Computer architecture and programming: knowledge of multi/many-core architectures and their use in a context for the execution of real-time applications, worst-case execution time analysis, formalization of architecture instruction sets (such as SAIL), knowledge of hardware architecture description languages (HDL) Formal methods: formal specification language, model-checking environment, SMT solvers, etc. Compilation: knowledge of design environments for real-time systems (e.g. synchronous programming), compilation chains (LLVM / GCC) Experience in terms of interaction with partners in collaborative and/or industrial projects as well as in terms of scientific publications is also expected.Desired personal qualities :
Ability to work in a team, while showing a good autonomy in daily life; Scientific curiosity, taste for technical challenges; Ability to understand and solve complex problems; Ability to take a step back and have a transverse vision; Rigorous work methods and a spirit of synthesis.
Position location
Site
Saclay
Job location
France, Ile-de-France, Essonne (91)
Location
Palaiseau
Candidate criteria
Languages
English (Fluent) French (Fluent)
Requester
Position start date
01/09/2024
-
Palaiseau, Île-de-France CEA Temps pleinJob Title: Post-doc Application of Formal Methods for Interference ManagementWe are seeking a highly skilled Post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project focused on developing an environment to identify, analyze, and reduce interferences...
-
Palaiseau, Île-de-France CEA Temps pleinJob Title: Post-doc Application of Formal Methods for Interference ManagementWe are seeking a highly skilled Post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project aiming to develop an environment to identify, analyze, and reduce interferences...
-
Palaiseau, Île-de-France CEA Temps pleinJob Title: Post-doc Application of Formal Methods for Interference ManagementWe are seeking a highly skilled post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project aiming to develop an environment to identify, analyze, and reduce interferences...
-
Post-doc Application of Formal Methods for Interference Management
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinJob DescriptionWe are seeking a highly skilled Post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project focused on developing an environment to identify, analyze, and reduce interferences generated by concurrent applications on a heterogeneous...
-
Post-doc Application of Formal Methods for Interference Management
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinJob DescriptionWe are seeking a highly skilled Post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project focused on developing an environment to identify, analyze, and reduce interferences generated by concurrent applications on a heterogeneous...
-
Post-doc Application of Formal Methods for Interference Management
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinJob DescriptionWe are seeking a highly skilled Post-doc researcher to join our multidisciplinary technological research team at CEA LIST. The successful candidate will be involved in a national research project focused on developing an environment to identify, analyze, and reduce interferences generated by concurrent applications on a heterogeneous...
-
Formal Methods Specialist for Interference Management
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinAbout the Role CEA LIST is seeking a highly motivated Formal Methods Specialist to join our cutting-edge research team focused on developing innovative solutions for interference management in multi-core hardware platforms. You will play a crucial role in a national project aimed at creating an environment that identifies, analyzes, and mitigates...
-
Benchmarking The Scalability of Model-checker-based
il y a 1 semaine
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...
-
Application Specialist for Xrf in France
Il y a 4 mois
Palaiseau, France Malvern Panalytical Ltd Temps pleinJob Title: Application Specialist for XRF in France Location: France Reporting Line: Line Manager - Application Manager, France (or Country Manager) We unleash the power of very small things to make big things happen. Join our Team!!! About the role: In this specific role, you are a key contributor in managing the technical and scientific activities...
-
Method and Pricing Engineer for Infrastructure Monitoring
il y a 4 semaines
Palaiseau, Île-de-France SOCOTEC Temps pleinAbout SOCOTEC SOCOTEC is a global leader in risk management and technical consulting, specializing in construction, real estate, and infrastructure. With a 70-year history of excellence, we are committed to creating safer, more sustainable, and inclusive cities for the future. About Socotec Monitoring France Socotec Monitoring France is a subsidiary of...
-
Palaiseau, Île-de-France CEA Temps pleinResearch Engineer in AI-assisted Methods for Model Generation and Simulation of SoC DesignsWe are seeking a highly skilled Research Engineer to join our team at the French Alternative Energies and Atomic Energy Commission (CEA) to develop cutting-edge technology in the field of Electronic Design Automation (EDA).The successful candidate will be responsible...
-
(H/F) - Post-doc en Psychologie de L'apprentissage
il y a 4 semaines
Palaiseau, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 21 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F - Post-doc en psychologie de l'apprentissage de l'argumentation** Référence : UMR9217-MICBAK-002 Nombre de Postes : 1 Lieu de travail :...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de Post-DocL'Institut du Traitement Automatique du Langage (LASTI) du CEA recherche un Post-Doc pour contribuer à un projet de recherche visant à exploiter les technologies du Traitement Automatique des Langues (TAL) pour automatiser l'extraction d'information scientifique dans le domaine des matériaux.Objectifs du projetLe projet vise...
-
Professor of Artificial Intelligence for Society
il y a 2 semaines
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinAbout the RoleWe are seeking a highly skilled and experienced researcher and educator to join our team at Institut Mines-Télécom. As a Professor of Artificial Intelligence for Society, you will play a key role in shaping the future of AI research and education.Key ResponsibilitiesDesign and implement teaching programs in AI applied to societyConduct...
-
Compositional Methods for Utility under Local Privacy Mechanisms
il y a 2 semaines
Palaiseau, Île-de-France INRIA Temps pleinAbout the RoleThe INRIA Saclay Center is seeking a highly skilled researcher to join its Comete project team, specializing in security and privacy protection. As a key member of the team, you will contribute to the development of methods and software for estimating statistics from data protected with local differential privacy.Key ResponsibilitiesCollaborate...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste The Comete project team at the Inria Saclay Center specializes in security and privacy protection and has sixteen researchers ( Mission confiée The purpose of this position is to work with the COMETE research team to develop methods and software for estimating statistics from data protected with local...
-
Palaiseau, Île-de-France INRIA Temps pleinJob DescriptionContext and Key ResponsibilitiesThe Inria Saclay Center's Comete project team specializes in security and privacy protection, with a team of sixteen researchers.Mission and ObjectivesThe purpose of this position is to collaborate with the COMETE research team to develop methods and software for estimating statistics from data protected with...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de Post-DocL'Institut du Traitement Automatique du Langage (LASTI) du CEA recherche un Post-Doc pour contribuer à un projet de recherche visant à exploiter les technologies du Traitement Automatique des Langues (TAL) pour automatiser l'extraction d'information scientifique dans le domaine des matériaux.ContexteLe projet vise à explorer...
-
Compositional Methods for Utility under Local Privacy Mechanisms
Il y a 31 minutes
Palaiseau, Île-de-France INRIA Temps pleinJob DescriptionContext and Key ResponsibilitiesThe Inria Saclay Center's Comete project team specializes in security and privacy protection, with sixteen researchers. The team is seeking a researcher to work on developing methods and software for estimating statistics from data protected with local differential privacy (DP).Key ObjectivesCollaborate with the...
-
Palaiseau, Île-de-France CEA Temps pleinResearch Engineer in AI-assisted Methods for Model Generation and Simulation of SoC DesignsWe are seeking a highly skilled Research Engineer to join our team at the French Alternative Energies and Atomic Energy Commission (CEA) to develop cutting-edge technology in the field of Electronic Design Automation (EDA).Key Responsibilities:Develop AI-assisted...