Post-doc Application of Formal Methods for Interferences Management Expert

il y a 2 jours


Palaiseau, Île-de-France CEA Temps plein

Job Title: Post-doc Application of Formal Methods for Interferences Management

Job 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 concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.

Main 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 of the platform.
  • 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.

Requirements:

  • 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.

Desired 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.

Location: Saclay, France, Ile-de-France, Essonne (91)

Language: English (Fluent), French (Fluent)



  • Palaiseau, Île-de-France CEA Temps plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    About 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...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    About 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. The successful candidate will be responsible for designing and implementing teaching programs in AI applied to society, conducting innovative research projects, and sharing...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    About 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. The successful candidate will be responsible for designing and implementing teaching programs in AI applied to society, conducting innovative research projects, and sharing...


  • Palaiseau, Île-de-France SOCOTEC Temps plein

    About 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 CNRS Temps plein

    Informations 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 plein

    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).The successful candidate will be responsible...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    About 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...


  • Palaiseau, Île-de-France CEA Temps plein

    Offre 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 plein

    Offre 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 INRIA Temps plein

    About 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...

  • Wealth Management Expert

    il y a 1 semaine


    Palaiseau, Île-de-France Finary Temps plein

    About FinaryFinary is a pioneering fintech company revolutionizing personal money management. Our mission is to empower a new generation of investors to achieve their goals. With a strong focus on user experience, performance, and ease of use, we're building a platform that sets a new standard in the industry.Our team is composed of talented individuals who...


  • Palaiseau, Île-de-France CEA Temps plein

    Job 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).Key Responsibilities:Develop...


  • Palaiseau, Île-de-France Onera Temps plein

    Become a vital part of ONERA's missionAt ONERA, you will join a premier institution in the field of aeronautical and space research in France. Each day presents a chance to innovate, expand the horizons of knowledge, and contribute to future advancements.We prioritize a healthy work-life balance and foster an engaging environment that promotes ongoing...