Researcher Timing Analysis Of Embedded Real-Time Systems - CDD H/F CEA
Saclay - 91 CDD- Bac +3, Bac +4
- Bac +5
- Industrie high-tech • Telecom
Les missions du poste
As 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 associated with embedded RISC-V processors. These microarchitectures are generated by a flow from a partner that automatically infers synthesizable Register Transfer Level (RTL)
representations of processors from their Instruction Set Architecture (ISA).
Your involvement in this project will facilitate the creation of a predictability toolbox that streamlines the exploration of design trade-offs, ultimately leading to the production of highly tailored RISC-V processors designed for Internet of Things (IoT) applications and embedded platforms used in safety-critical systems. A key aspect of predictability analysis involves assessing the worst-case execution time (WCET) of a processor by examining how a given binary code progresses through successive pipeline stages.
Timing Anomalies (TAs) are execution phenomena known to hinder these analyses and must BE supported. Your main responsibilities will include :
- Proposing and developing an approach to generate formal models of processor
pipelines. This involves utilizing a cycle-accurate intermediate representation of
pipelines incorporating their micro-architecture optimizations. While LECA has
previously developed formal models of pipelines for TA detection within code, these models were manually created.
- Utilizing the formally generated models as part of a pipeline analysis in a static
WCET analysis tool provided by a collaborative partner. Specifically, the outcomes of cache analyses will guide the identification of temporal variations to BE considered in the detection of TAs within basic blocks of input code.
- Defining microarchitectural-level instructions to alleviate the presence of various types of TAs at basic-block boundaries. These instructions will play a crucial role in the exploration process of RISC-V embedded microarchitectures, particularly when targeting safety-critical systems.
You are also expected to :
- Communicate about the work to the project partners, but also work directly with the French 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.
#CEA-List ; #Post-doc ; ##IoT ; #LI-CB1 ; #Post-doctorat ; #Researcher
Nos étapes de recrutement
Les étapes de recrutement peuvent varier selon l’offre à laquelle vous postulez.
-
Dépôt de CV via notre site carrière
-
Préqualification téléphonique
-
Entretiens et évaluation avec manager et RH
-
Négociation salariale et contrat de travail
-
Embauche et intégration
Le profil recherché
You have a PhD in the field of electronics or embedded systems. You have significant experience in architecture and/or 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, knowledge of hardware architecture description languages (HDL)
- Formal methods : formal specification language, model-checking environment, SMT solvers, etc.
- 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.
In accordance with the commitments made by the CEA in favor of the integration of people with disabilities, this job is open to everyone.
Raisons de nous rejoindre
-
Télétravail jusqu’à 3 jours par semaine
-
52 jours de congés/RTT
-
Possibilité d’aménagement du temps de travail
-
Formation personnalisée
-
Restauration d’entreprise
-
Offre de transport interne et prise en charge Navigo and co,
-
Mutuelle d’entreprise avantageuse
-
CE (aides vacances, loisirs, frais de garde, scolarité des enfants etc
Bienvenue chez 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 coeur 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é
Hellowork a estimé le salaire pour ce métier à Saclay
Le recruteur n'a pas communiqué le salaire de cette offre mais Hellowork vous propose une estimation (fourchette variable selon l'expérience).
Estimation basée sur les données INSEE et les offres d’emploi similaires.
Estimation basse
41 100 € / an 3 425 € / mois 22,58 € / heureSalaire brut estimé
49 000 € / an 4 083 € / mois 26,92 € / heureEstimation haute
61 200 € / an 5 100 € / mois 33,63 € / heureCette information vous semble-t-elle utile ?
Merci pour votre retour !
Créez une alerte
Pour être informé rapidement des nouvelles offres, merci de préciser les critères :
Finalisez votre candidature
sur le site du recruteur
Créez votre compte pour postuler
sur le site du recruteur !
sur le site du recruteur
sur le site du recruteur !
Ces offres pourraient aussi
vous intéresser
Recherches similaires
- Offre emploi Ingénieur en informatique industrielle
- Offre emploi Industrie
- Offre emploi Étampes
- Offre emploi Dourdan
- Offre emploi Corbeil-Essonnes
- Offre emploi Massy
- Offre emploi Montgeron
- Offre emploi Brétigny-sur-Orge
- Offre emploi Les Ulis
- Offre emploi Draveil
- Offre emploi Milly-la-Forêt
- Offre emploi Yerres
- Offre emploi Technicien de maintenance industrielle
- Offre emploi Peintre industriel
- Offre emploi Mécanicien industriel
- Offre emploi Préparateur méthode
- Offre emploi Conseiller technique
- Entreprises Industrie
- Entreprises Ingénieur en informatique industrielle
- Entreprises Saclay
- Offre emploi Numérique
- Offre emploi Etat
- Offre emploi Internet
- Offre emploi Europe
- Offre emploi Scientifique
- CEA Saclay
- CEA Ingénieur en informatique industrielle
{{title}}
{{message}}
{{linkLabel}}