Post-doc Researcher in Formal Methods for Interference Management
il y a 3 semaines
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.
-
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 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...
-
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 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...
-
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 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 pleinJob 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 pleinResearch 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 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 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 pleinJob 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 pleinJob 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 pleinThe 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 pleinJob 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...
-
Postdoctoral Researcher in AI and Software Engineering
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinJob 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 pleinJob 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 pleinContext 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 pleinJob 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...
-
AI-driven Research Engineer for SoC Architecture Simulation
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinAI-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 pleinJob 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...
-
Expert Researcher in AI-assisted SoC Design and Simulation
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinJob 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...
-
Senior Research Engineer in Electronic Design Automation
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinSenior 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 pleinJob 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 pleinJob 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...