Designing tools to analyze the cyber-security of embedded systems (software and hardware) h/f

CEA

Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des citoyens. 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.

Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :

* La conscience des responsabilités
* La coopération
* La curiosité


Référence

2025-35090


Description de la Direction

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas: defense and security, nuclear and renewable energies, technological research for industry, fundamental research in the physical sciences and life sciences.


Description de l'unité

Within the DSCIN department of CEA List, a technological research team develops a pre-silicon methodology and tools to analyze the security of embedded systems against fault-injection attacks.


Description du poste


Domaine

Mathématiques, information scientifique, logiciel


Contrat

CDD


Intitulé de l'offre

Designing tools to analyze the cyber-security of embedded systems (software and hardware) H/F


Statut du poste

Non Cadre


Durée du contrat (en mois)

36


Description de l'offre

Context: Fault injection allows an attacker to move the target processor out of its expected functioning bounds. A hardware perturbation, by means of a fault injection, aims at inducing logical changes either at the hardware or software levels, such that the target system reaches unexpected states or follows unexpected execution paths.

Objectives: Within a national research project promoting the use of pre-silicon tools to validate countermeasures against fault-injection attacks, your main missions will be:

1. Design and extend our pre-silicon methodology and associated tools to support different secured processors.
2. Participate in the comparison between the use of pre-silicon tools and post-silicon security evaluations on different RISC-V based systems.

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 design and analysis of secure systems.


Profil du candidat

You have a PhD or a Engineer’s degree in the field of electronics or embedded systems. You have experience in computer architecture and/or hardware synthesis and/or formal methods for hardware verification.

You have acquired the following technical skills:

* Knowledge in: computer architecture, programming languages, formal methods, cyber-security;
* Hardware description languages (e.g., Verilog) programming languages (C, C++ and ASM), scripting;
* Excellent written and spoken English;
* Communication and writing skills;
* Teamwork and autonomy.


Localisation du poste

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


Disponibilité du poste

03/03/2025

#J-18808-Ljbffr