Analyses de codes H/F (Composants et équipements électroniques)

Description de l'offre

Domaine : Composants et équipements électroniques

Contrat : CDD

Description du poste :

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.



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

Ville : GRENOBLE

Langue / Niveau :

Anglais : Intermédiaire