Application of Formal Methods for Interferences

Il y a 3 mois

Palaiseau, France CEA Temps plein

Position description

**Category**:

- Electronics components and equipments

**Contract**:

- Fixed-term contract

**Job title**:

- Application of formal methods for interferences management H/F

**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 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.

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).**Applicant Profile**:
You have acquired the following technical skills- 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.

Position location

**Site**:

- Saclay

**Job location**:

- France, Ile-de-France, Essonne (91)

**Location**:

- Palaiseau

**Languages**:

- English (Fluent)
- French (Fluent)

Requester

**Position start date**:

- 01/09/2024

General information

**Organisation**:
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas:

- defence and security,
- nuclear energy (fission and fusion),
- technological research for industry,
- fundamental research in the physical sciences and life sciences.

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 France

**Reference **:2024-32365**Division description**:

- The 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.

  • Formal Analysis of Fault-injection Countermeasures

    Il y a 2 mois

    Palaiseau, France CEA Temps plein

    Position description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Formal analysis of fault-injection countermeasures within a secure RISC-V processor H/F **Subject**: - The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, devel-opment and...

  • Benchmarking The Scalability of Model-checker-based

    Il y a 4 mois

    Palaiseau, France CEA Temps plein

    Description du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Benchmarking the scalability of model-checker-based detection of timing anomalies H/F **Sujet de stage**: - Safety-critical systems such as autonomous vehicles and modern avionic computers have to satisfy strong...

  • Application Specialist for Xrf in France

    Il y a 7 mois

    Palaiseau, France Malvern Panalytical Ltd Temps plein

    Job 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...

  • Phd Position F/m Sampling Method for Stratified

    Il y a 2 mois

    Palaiseau, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Mission confiée**: In the context of non-destructive testing (NDT) of the civil engineering of EDF's nuclear and hydro power plants in operation, the challenges of extending the service life of...

  • Postdoctoral Researcher in Numerical Methods

    il y a 2 semaines

    Palaiseau, Île-de-France Inria Temps plein

    The Inria Saclay-Île-de-France Research Centre is seeking a talented Postdoctoral Research Visit candidate to join our MIND team. As a key member of our team, you will contribute to the development of mathematical methods for statistical modeling of brain function using neuroimaging data (fMRI, MEG, EEG). We are looking for an expert in machine learning...

  • Post-doctoral position in Optimizing the selection of Metal Oxide

    il y a 4 semaines

    Palaiseau, Essonne, France Institut Mines-Télécom Temps plein

    ABOUT TELECOM SUDPARIS Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding....

  • Assistant/Associate Professor in AI for networks

    il y a 2 semaines

    Palaiseau, France Institut Mines-Télécom Temps plein

    Who are we?Télécom Paris, a school of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of the top 5 French general engineering schools.The guiding mission of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect...

  • Assistant/associate Professor of Computational Sociology of Work

    il y a 7 jours

    Palaiseau, France Institut Mines-Télécom Temps plein

    **Who are we?** Télécom Paris, a school of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of the top 5 French general engineering schools. The guiding mission of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that...

  • Assistant Professor in Generative Models for Artificial Intelligence

    il y a 4 semaines

    Palaiseau, France Institut Mines-Télécom Temps plein

    Who are we?Télécom Paris, a school of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of the top 5 French general engineering schools.The guiding mission of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect...

  • Assistant Professor in Generative Models for

    Il y a 3 mois

    Palaiseau, France Institut Mines-Télécom Temps plein

    **Who are we?** Télécom Paris, a school of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of the top 5 French general engineering schools. The guiding mission of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that...

  • Research Engineer in Systems Engineering for

    Il y a 2 mois

    Palaiseau, France CEA Temps plein

    Description du poste **Domaine**: - Systèmes d'information **Contrat**: - CDD **Intitulé de l'offre**: - Research Engineer in Systems Engineering for Eco-Innovation Approaches - CDD - Paris-Saclay W/M **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 36 **Description de l'offre**: **“Join the CEA to give meaning to your activity,...

  • Grid Coloring for Object Sensing and Localization

    Il y a 4 mois

    Palaiseau, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Niveau de diplôme exigé **:Bac + 4 ou équivalent **Fonction **:Stagiaire de la recherche **A propos du centre ou de la direction fonctionnelle**: The 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...

  • Tools for Collection, Context Inference, Trajectory

    Il y a 4 mois

    Palaiseau, France Inria Temps plein

    **Niveau de diplôme exigé **:Bac + 4 ou équivalent **Autre diplôme apprécié **:Master or PhD **Fonction **:Ingénieur scientifique contractuel **Niveau d'expérience souhaité **:De 3 à 5 ans **A propos du centre ou de la direction fonctionnelle**: - Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s’inscrit dans le...

  • Exploring The Generalizability of Ml-driven

    Il y a 2 mois

    Palaiseau, France CEA Temps plein

    Description du poste **Domaine**: - Composants et équipements électroniques **Contrat**: - Stage **Intitulé de l'offre**: - Exploring the Generalizability of ML-driven Performance Model Generation for HW Design H/F **Sujet de stage**: - This internship provides a valuable opportunity to gain hands-on experience with machine learning techniques for...

  • Benchmarks and Optimization Specialist

    il y a 3 semaines

    Palaiseau, Île-de-France Inria Temps plein

    Join our team at Inria Saclay-Île-de-France Research Centre as a Postdoctoral Research Visit candidate and contribute to the advancement of machine learning techniques. As a member of our MIND team, you will work on mathematical methods for statistical modeling of brain function using neuroimaging data (fMRI, MEG, EEG). We are looking for an expert in...

  • Llms for Specifying Data Sharing Policies

    Il y a 3 mois

    Palaiseau, France CEA Temps plein

    Description du poste **Domaine**: - Sciences pour l'ingénieur **Contrat**: - CDD **Intitulé de l'offre**: - LLMs for specifying data sharing policies H/F **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 18 **Description de l'offre**: - Developing physical or digital systems is a complex process involving both technical and human...

  • QUBO Embedding Optimization for Quantum Algorithms Internship

    il y a 4 semaines

    Palaiseau, France PASQAL Temps plein

    About PasqalPASQAL designs and develops Quantum Processing Units (QPUs) and associated software tools.Our innovative technology enables us to address use cases that are currently beyond the reach of the most powerful supercomputers; these cases can concern industrial application challenges as well as fundamental science needs.In addition to the exceptional...

  • Post-doctoral fellow in stochastic modeling of wireless networks

    il y a 1 mois

    Palaiseau, France Institut Mines-Télécom Temps plein

    Who we are ?Télécom Paris, part of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of France's top 5 general engineering schools.The mainspring of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect people and...

  • Propriétés Quantifiées D'atteignabilité Pour

    Il y a 3 mois

    Palaiseau, France École polytechnique Temps plein

    **Propriétés quantifiées d'atteignabilité pour l'explicabilité garantie en IA // Quantified reachability properties for provably explainable AI**: - Réf **ABG-126168** **ADUM-59253** - Sujet de Thèse- 08/10/2024- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Propriétés quantifiées...

  • Scientific Engineer F/m Unveiling Neuroscience with

    il y a 5 jours

    Palaiseau, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Contrat renouvelable **:Oui **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Ingénieur scientifique contractuel **A propos du centre ou de la direction fonctionnelle**: Located at the heart of the main national research and higher education cluster, member of the Université Paris...