Post-doc Application of Formal Methods for Interference Management
il y a 5 jours
We 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 generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.
Key Responsibilities:- Propose and develop a formal modeling strategy for the temporal behavior of the hardware platform's microarchitecture and memory hierarchy based on microbenchmarking results.
- Develop an approach to make the execution of applications more predictable by reducing interferences identified in point 1 via the definition of specific rules at the level of their execution model and programming model.
- Communicate about the work to project partners and participate in the scientific dissemination of the team's research results.
- PhD in the field of electronics or embedded systems.
- Significant experience in architecture and/or compilation as well as in the use of formal methods.
- First experience in the design and verification/validation of real-time applications on multicore architectures.
- Computer architecture and programming: knowledge of multi/many-core architectures and their use in a context for the execution of real-time applications.
- 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).
CEA LIST, Saclay, France
Language:English (Fluent), French (Fluent)
-
Post-doc Application of Formal Methods for Interference Management
il y a 4 semaines
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...
-
Post-doc Application of Formal Methods for Interference Management
il y a 4 semaines
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 3 semaines
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 3 semaines
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 1 semaine
Palaiseau, Île-de-France CEA Temps pleinJob Title: Post-doc Application of Formal Methods for Interferences 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 Title: Post-doc Application of Formal Methods for Interferences 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 Interferences ManagementJob Description:We are seeking a highly skilled post-doc researcher to join our team at CEA LIST. The successful candidate will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Chercheur post-doc en astronomie gamma
il y a 3 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Chercheur post-doc en astronomie gammaContexte de travail : Le groupe "astronomie gamma" du Laboratoire Leprince Ringuet (LLR) propose une offre de postdoctorat pour travailler sur l'expérience CTA, une expérience de pointe en préparation qui étudiera les sources de rayonnement les plus énergétiques de...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Palaiseau, Île-de-France CEA Temps pleinJob Title: Research 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).About the RoleThe successful...
-
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...
