Post-doc application of formal methods for interferences management
il y a 2 semaines
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 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
-
Post-doc application of formal methods for interferences management H/F
il y a 2 semaines
Palaiseau, France CEA Temps pleinPosition description Category Electronics components and equipments Contract Fixed-term contract Job title Post-doc application of formal methods for interferences management H/F Socio-professional category Executive Contract duration (months) 18 Job description Within a multidisciplinary technological research...
-
Post-doc application of formal methods for interferences management
il y a 2 semaines
Palaiseau, Île-de-France Cea Temps pleinWithin 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...
-
Post-doc Application of Formal Methods for
il y a 2 semaines
Palaiseau, France CEA Temps pleinPosition description **Category**: - Electronics components and equipments **Contract**: - Fixed-term contract **Job title**: **Socio-professional category**: - Executive **Contract duration (months)**: - 18 **Job description**: - Your main missions will be: - To propose and develop a formal modeling strategy for the temporal behavior of the...
-
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, 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...
-
Application Specialist for Xrf in France
il y a 3 semaines
Palaiseau, France Malvern Panalytical Ltd Temps pleinJob Title: Application Specialist for XRF in France Location: France Reporting Line: Line Manager - Application Manager, France (or Country Manager) We unleash the power of very small things to make big things happen. Join our Team!!! About the role: In this specific role, you are a key contributor in managing the technical and scientific activities...
-
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...
-
Compositional Methods for Utility Under Local
il y a 4 semaines
Palaiseau, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Contrat renouvelable **:Oui **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Ingénieur scientifique contractuel **Niveau d'expérience souhaité **:Plus de 12 ans **A propos du centre ou de la direction fonctionnelle**: The Inria Saclay-Île-de-France...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste The Comete project team at the Inria Saclay Center specializes in security and privacy protection and has sixteen researchers ( Mission confiée The 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 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...
-
Post-doc (H/F)
il y a 1 mois
Palaiseau, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 6 mars 2024 **Informations générales**: **Intitulé de l'offre **:Post-doc (H/F) en optique non-linéaire et spectroscopie femtoseconde** Référence : UMR7645-PASCHA-002 Nombre de Postes : 1 Lieu de travail : PALAISEAU Date de publication :...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste While artificial intelligence is growing at a fast pace, the bulk of the world’s computing power remains targeted at modeling and predicting physical phenomena, such as climate models, weather forecasting, or nuclear physics. These simulations are run on highly parallel supercomputers on which both the hardware and the...
-
24-097 Integration of Thermal Imaging and Radar for
il y a 3 semaines
Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps pleinDoctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Digital technologies for remote sensing **Mission**: This doctoral project is part of the Onera "MUSIC" research chair, led by Elise Colin, which focuses on developing innovative image processing and AI techniques for unconventional data. It explores the...
-
Méthodes Proximales Pour Problèmes D'optimisation
il y a 2 semaines
Palaiseau, France École nationale supérieure de techniques avancées Temps plein**Méthodes proximales pour problèmes d'optimisation sous contraintes // Proximal methods for solving constrained optimization problems**: - Réf **ABG-121977** **ADUM-53926** - Sujet de Thèse- 29/03/2024- École nationale supérieure de techniques avancées- Lieu de travail- PALAISEAU Cedex - France- Intitulé du sujet- Méthodes proximales pour...
-
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, France CEA Temps pleinPosition description Category Electronics components and equipments Contract Fixed-term contract Job title Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F Socio-professional category Executive Contract duration (months) 24 Job description We are looking for a...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste Inria is the French national institute for research in computer science, control, and applied mathematics promoting scientific excellence and technology transfer. The research topics of pour group are at the intersection of mathematical biology, statistics, control engineering, and statistical physics applied to problems in...
-
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 2 semaines
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...
-
Palaiseau, France CEA Temps pleinPosition description Category Information system Contract Postdoc Job title Postdoctoral position in AI and SW engineering at CEA LIST near Paris H/F Subject The goal of this post-doc is to explore generative AI in the context of system modeling and associated tool support. For instance, AI assistance can support the...
