Post-doctoral researcher specializing in the application of formal methods for timing estimations H/F
Commissariat à l’Énergie Atomique
Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.The CEA is established in ten centers spread throughout FranceReference 2024-32273Division descriptionThe CEA’s technology research division (DRT) develop a broad portfolio of technologies in the fields of information and communication, energy and health.
CEA technology research division leverages a unique innovation-driven culture and unrivalled expertise to develop and disseminate new technologies for industry, effectively bridging the gap between the worlds of research and industry.
CEA-List is a research institute specialized in smart digital systems, located in the heart of the Paris-Saclay science and technology cluster.Description de l’unitéWithin the CEA List, the Electronics Design Automation and Architectures Laboratory (LECA) has the mission of designing innovative and flexible computing architecture (System-on-chip) that meet the challenges of performance, cost, energy consumption, safety and security, targeting critical embedded systems and accelerators for embedded AI. In particular, the laboratory develops methods for modeling and analyzing safety and security properties in order to verify the behavior of multi-core computing architectures using formal methods.Position descriptionCategoryElectronics components and equipmentsContractFixed-term contractJob titlePost-doctoral researcher specializing in the application of formal methods for timing estimations H/FSocio-professional categoryExecutiveContract duration (months)24 monthsJob descriptionAs 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:
You are also expected to :
Applicant ProfileYou 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
Desired personal qualities :
In accordance with the commitments made by the CEA in favor of the integration of people with disabilities, this job is open to everyone.Position locationSiteSaclayJob locationFrance, Ile-de-France, Essonne (91)LocationPalaiseauCandidate criteriaLanguages
RequesterPosition start date01/07/2024
Essonne
Fri, 14 Jun 2024 22:40:27 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
Job title: CDI - IT Business Analyst Retail H/F Company: Groupe Rocher Job description Entreprise…
Job title: Head of CFO Insights & Analytics Company: Lego Job description Job DescriptionAre you…
Job title: PhD position on regional variation of Frisian (1.0 FTE) Company: Job description In…
Job title: Senior Technician (Advance Laser Machining and Manufacturing) Company: University of Manchester Job description…
Job title: Project Manager Hydro Company: GreenTalent Job description Greentalent, recruiter specializzato nella ricerca e…
Job title: ABOGADO/A 100% TELETRABAJO (CON CERT. DISCAPACIDAD) Company: Job description Descripción :Vivofácil (antes Alares)…