Post-doc application of formal methods for interferences management
il y a 4 jours
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.
Profil recherché
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.
Présentation de Cea
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
-
Palaiseau, Île-de-France Cea Temps pleinAs a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures...
-
Palaiseau, Île-de-France Cea Temps pleinThe objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the...
-
Developping an IDE for writing pattern-based and formal requirements
il y a 3 semaines
Palaiseau, Île-de-France Cea Temps pleinThe objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the...
-
Palaiseau, Île-de-France CEA Temps pleinResearch Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F Electronics components and equipments Contract Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge...
-
Palaiseau, Île-de-France Cea Temps pleinWe are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...
-
Palaiseau, Île-de-France Cea Temps pleinWe are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...
-
Palaiseau, Île-de-France CEA Temps pleinWe are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA).In the context of a national project, you will BE responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...
-
Application Specialist
il y a 1 semaine
Palaiseau, Île-de-France Invenia Group Temps pleinOur client is a leading laboratory equipment manufacturer and renowned for producing high-end instruments known for their extreme precision and exceptional robustness.With an international presence, our client, a leading manufacturing company offers cutting-edge technologies to optimize the development of advanced materials in various industries.Position...
-
Application Specialist for XRF in France
il y a 1 semaine
Palaiseau, Île-de-France Malvern Panalytical S.A.S. Temps pleinThe role requires frequent visits to customers' premises. Expenses against the appropriate receipts will be reimbursed in accordance with the company policy. This is an exempt position meaning overtime is unpaid. Requires ~50% availability for overnight travel, as necessary. Region of travel will be primarily France, then French speaking countries and...
-
Palaiseau, Île-de-France Cea Temps pleinSimulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...
-
Palaiseau, Île-de-France Cea Temps pleinSimulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...
-
Embedded Systems Engineer for Next-Generation IoT Systems
il y a 1 semaine
Palaiseau, Île-de-France INRIA Temps pleinContexte et atouts du poste The position is part of the 5G-mMTC research project aimed at deploying a 5G cellular network oriented "massive IoT", compatible with 4G technology. The use cases are the Smart-Grid, in partnership with EDF and the connected bike, in partnership with the French Cycling Federation (FFC). As part of this project, a 5G test...
-
Senior Director of Finance
il y a 1 semaine
Palaiseau, Île-de-France Mantell Associates Temps pleinMantell Associates is currently partnered with a growing Biotech organisation in their search for a Senior Director of Finance to join the organisation as part of their Drug Product Division which operates as a CDMO for large and speciality pharma and biotech companies.Senior Director of Finance - Responsibilities:Report into the VP of Finance and matrix...
-
Palaiseau, Île-de-France INRIA Temps pleinContexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January 1st, 2025. The postdoctoral fellow will be...
-
Post-doctoral Research Visit F/m Bridging The Gap
il y a 1 semaine
Palaiseau, Île-de-France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Type de contrat :CDDContrat renouvelable :OuiNiveau de diplôme exigé :Thèse ou équivalentFonction :Post-DoctorantNiveau d'expérience souhaité :Jeune diplôméContexte et atouts du poste:Every year Inria International Relations Department has a few postdoctoral positions in order to support...
-
Internship: Fabrication and optimization of quantum light sources
il y a 1 semaine
Palaiseau, Île-de-France Quandela Temps pleinQuandela is a spin-off company from the French national laboratory CNRS founded in 2017. The company brings together teams of quantum technology specialists with broad experience in semiconductor nanotechnologies, quantum optics, computer science, and quantum information processing.Located in the southern suburbs of Paris, with its main offices in Massy and...
-
Software Engineer for AI-enabled Systems
il y a 2 semaines
Palaiseau, Île-de-France Cea Temps pleinJoin CEA to Add Meaning to Your Work, Lead and Support National and International R&D Projects, Nurture and Ignite Your Curiosity. IN SUMMARY, WHAT DO WE OFFER YOU?The CEA is looking for a Software Engineer for AI-enabled Systems for the CEA/DRT (Technological Research Department) . This 36-month fixed-term executive position is based on the Nano-Innov site...
-
Business Unit Purchasing Manager Courbevoie Fr H/F
il y a 1 semaine
Palaiseau, Île-de-France Nexans Temps pleinJob DescriptionPosition : Business Unit Purchasing ManagerOrganization -PCABU : Power Distribution Cables & Accessories Business Unit (400M€, 1500 employees, sales in 90 countries)- Department : Purchasing/Operations - Location : Paris, Donchery FR, Erembodegem BL - Supervisor : Operations DirectorContextPurposeThe Business Unit Purchasing manager will...
-
Senior Finance Manager F/M
il y a 1 semaine
Palaiseau, Île-de-France Mantell Associates Temps pleinMantell Associates is currently partnered with a growing Biotech organisation in their search for a Senior Director of Finance to join the organisation as part of their Drug Product Division which operates as a CDMO for large and speciality pharma and biotech companies.Senior Director of Finance - Responsibilities:Report into the VP of Finance and matrix...
-
Distributed Learning for 5g-iot
il y a 1 semaine
Palaiseau, Île-de-France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Niveau de diplôme exigé :Bac + 5 ou équivalentFonction :Ingénieur scientifique contractuelA propos du centre ou de la direction fonctionnelleThe Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with Paris-Saclay University and...
