Post-doc Researcher in Formal Methods for Interference Management

il y a 3 semaines


Palaiseau, Île-de-France CEA Temps plein

Job Opportunity

At CEA, we are seeking a highly skilled Post-doc Researcher to join our multidisciplinary technological research team.

Job Title

Post-doc Researcher in Formal Methods for Interference Management

Job Description

We are looking for a talented researcher to work on a national research project focused on developing 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.

Responsibilities

As a Post-doc Researcher, you will be involved in proposing and developing a formal modeling strategy for the temporal behavior of the hardware platform's microarchitecture and memory hierarchy based on microbenchmarking results. You will also work on proposing and developing an approach to make the execution of applications more predictable by reducing the identified interferences.

Requirements

To be successful in this role, you will have a PhD in the field of electronics or embedded systems, with significant experience in architecture and/or compilation, as well as in the use of formal methods. You will also have a first experience in the design and verification/validation of real-time applications on multicore architectures.

Working Conditions

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.

Language Skills

Fluency in English and French is required.

Desired Qualities

We are looking for a team player with good autonomy, scientific curiosity, a taste for technical challenges, and the ability to understand and solve complex problems.

Location

The position is located in Saclay, France, with a strong connection to the international scientific community.



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

    Job Title: Post-doc Application of Formal Methods for Interferences ManagementJob Description:We are seeking a highly skilled postdoctoral 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...


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

    Job Title: Post-doc Application of Formal Methods for Interference ManagementJob Description:We are seeking a highly skilled post-doctoral 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...


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

    Job Title: Post-doc Application of Formal Methods for Interferences ManagementJob Description:We are seeking a highly skilled postdoctoral 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...


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

    Job Title: Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC DesignsJob Description:We are seeking a highly skilled Research Engineer to join our team at CEA, a leading research organization in the field of Electronic Design Automation (EDA). As a Research Engineer, you will play a key role in developing cutting-edge...


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

    Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC DesignsCEA is seeking a highly skilled Research Engineer to join our team and contribute to the development of cutting-edge technology in the field of Electronic Design Automation (EDA).Key Responsibilities:Develop and implement AI-based model generation methodologies for...


  • 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 and contribute to the development of cutting-edge technology in Electronic Design Automation (EDA). The successful candidate will be responsible for developing a simulation environment for chiplet-based...


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

    Job Title: Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC DesignsJob Description:We are seeking a highly skilled Research Engineer to develop cutting-edge technology in the field of Electronic Design Automation (EDA). The successful candidate will be responsible for developing a simulation environment for chiplet-based...


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

    Job DescriptionWe are seeking a highly skilled Research Engineer to join our team at CEA List, a research laboratory specializing in intelligent digital systems. The successful candidate will be responsible for developing cutting-edge technology in the field of Electronic Design Automation (EDA).The generated models will cover functional behavior for...


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

    The CEA is seeking a highly motivated Postdoctoral Researcher to join our team at Saclay, France. As a key member of our research group, you will be involved in exploring the application of generative AI techniques to model-driven software engineering.Generative AI has revolutionized the field of code generation, with tools like Copilot and ChatGPT capable...


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

    Job SummaryWe are seeking a highly skilled Research Engineer to develop cutting-edge technology in Electronic Design Automation (EDA). The successful candidate will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing EDA flow.Key ResponsibilitiesDevelop and implement...


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

    Job OpportunityWe are seeking a highly motivated postdoctoral researcher to join our team at CEA in Saclay, France.Job TitlePostdoctoral Researcher in AI and Software EngineeringJob DescriptionWe are looking for a researcher with expertise in generative AI and software engineering to explore the application of AI in software modeling and associated tool...


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

    Job SummaryWe are seeking a highly skilled Research Engineer to join our team at CEA, focusing on developing cutting-edge technology in Electronic Design Automation (EDA). The successful candidate will be responsible for developing a simulation environment for chiplet-based SoC architecture, leveraging AI-driven methodologies to enhance existing EDA flow.Key...

  • Postdoctoral Researcher

    il y a 4 semaines


    Palaiseau, Île-de-France INRIA Temps plein

    Context and OpportunitiesINRIA, the French national institute for research in computer science, control, and applied mathematics, is seeking a highly skilled researcher to join our team. Our research focuses on the intersection of mathematical biology, statistics, control engineering, and statistical physics applied to problems in biology.Research ProjectThe...


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

    Job DescriptionThe INRIA Saclay Center is seeking a researcher to join the COMETE project team, specializing in security and privacy protection. The team consists of sixteen researchers.Job MissionThe 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 CEA Temps plein

    AI-driven Research Engineer for SoC Architecture SimulationWe are looking for a talented Research Engineer to join our team and work on the development of innovative AI-driven methodologies for SoC architecture simulation. The successful candidate will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven...


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

    Job DescriptionThe Inria Saclay Center is seeking a researcher to join the COMETE project team, specializing in security and privacy protection. The team consists of sixteen researchers.Job MissionThe 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 CEA Temps plein

    Job DescriptionWe are seeking a highly skilled Research Engineer to join our team at CEA List. The successful candidate will be responsible for developing innovative design tools and methods for SoC design and simulation.The generated models will cover functional behavior for software validation as well as performance prediction of the hardware platform. The...


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

    Senior Research Engineer in Electronic Design AutomationWe are seeking a highly experienced Senior Research Engineer to join our team and contribute to the development of cutting-edge technology in Electronic Design Automation (EDA). The successful candidate will be responsible for developing a simulation environment for chiplet-based SoC architecture, using...


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

    Job Title: Postdoctoral Research Visit F/M Model Placement in Inference Delivery NetworksWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA Saclay, working on the topic of AI model placement in inference delivery networks.Job Description:The successful candidate will be part of a research team focused on developing novel...


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

    Job DescriptionThe Inria Saclay Center is seeking a researcher to join the COMETE project team, specializing in security and privacy protection. The successful candidate will work with the team to develop methods and software for estimating statistics from data protected with local differential privacy (DP).Classical data analysis methods assume that all...