Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Analyses de codes H/F


Détail de l'offre

Informations générales

Entité de rattachement

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.

Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).

Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.  

Référence

2020-13052  

Description de la Direction

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche. Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. La défense et la sécurité
. L'énergie nucléaire (fission et fusion)
. La recherche technologique pour l'industrie
. La recherche fondamentale (sciences de la matière et sciences de la vie). Avec ses 16000 salariés, le CEA participe à de nombreux projets de collaboration avec des partenaires académiques et industriels.

Description de l'unité

Le Leti, institut de recherche technologique de CEA Tech, a pour mission de créer de la valeur et de l'innovation avec ses partenaires industriels. Il fait le lien entre la recherche fondamentale et la production de micro et nanotechnologies dans le but d'améliorer la qualité de vie de chacun. Le laboratoire CESTI, Centre d'Evaluation de la Sécurité des Technologies de l'Information agrée par l'ANSSI, est chargé d'évaluer la sécurité de produits électroniques matériels embarquant du logiciel, cartes à puce (cartes bancaires, passeports, cartes de santé) ou circuits intégrés ayant un très haut niveau de protection contre des attaques en perturbation et en observation. Pour assurer la confidentialité et l'intégrité des données secrètes contenues dans ce type de produit, des mécanismes de cryptographie évolués sont utilisés. Le laboratoire met en œuvre les attaques en cryptanalyse à l'état de l'art et développe aussi de nouvelles attaques pour améliorer la protection des produits mis sur le marché contre la fraude, le piratage ou le terrorisme.

Description du poste

Domaine

Composants et équipements électroniques

Contrat

CDD

Intitulé de l'offre

Analyses de codes H/F

Statut du poste

Cadre

Durée du contrat (en mois)

18

Description de l'offre

Le poste proposé dans le cadre du laboratoire CESTI correspond à de la recherche de chemins d’attaque dans les produits évalués   en utilisant des outils d’analyse de code statique, tels que ceux offerts par la plateforme Frama-C par exemple. Les techniques d’analyse et de test statique permettent la recherche de vulnérabilités inhérentes à l’implémentation de systèmes embarqués.

 Fort de votre curiosité et de votre imagination pour challenger un composant sécurisé, vous analyserez les codes embarqués dans des cibles réelles, vous aurez la visibilité entière de codes réalistes, du code source jusqu’au binaire, ce qui vous permettra de mettre en application concrète vos connaissances en théorie des langages et de vous perfectionner dans l’utilisation des outils, au cœur des évaluations de sécurité. De nombreuses techniques d’analyse vous permettront d'imaginer des scénarios d’attaque pertinents à mettre en œuvre en test dynamique lors de l’évaluation du composant.

 Ce poste pluridisciplinaire nécessite une formation initiale en théorie des langages, vérification formelle et en logiciels embarqués. Une maitrise des outils informatiques est nécessaire, notamment les langages C, Python et Java. Un esprit aiguisé et créatif est essentiel.

 

Profil du candidat

Diplômé d'un bac +5, un doctorat serait apprécié
Les compétences recherchées :
- Formation initiale : théorie des langages, vérification formelle, preuve
- Connaissance de la plateforme Frama-C, en particulier les greffons WP et Eva
- Exécution symbolique et interprétation abstraite

Localisation du poste

Site

Grenoble

Localisation du poste

France, Auvergne-Rhône-Alpes, Isère (38)

Ville

GRENOBLE

Critères candidat

Langues

Anglais (Intermédiaire)

Formation recommandée

DIPLOME D'INGENIEUR

Demandeur

Disponibilité du poste

14/05/2020