Ingénieur-Chercheur Evaluateur Conformité & Vérification Formelle H/F - CEA

Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.

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. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.

Implanté au coeur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.

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

- La conscience des responsabilités
- La coopération
- La curiositéLe laboratoire CESTI est missionné par l'ANSSI (Agence Nationale de la Sécurité des Systèmes d'Information) pour l'évaluation sécuritaire de produits électroniques. Composé actuellement d'environ 30 personnes, évaluateurs en sécurité des TIC de très haut niveau technique, il met en oeuvre des bancs de test et techniques d'évaluation à l'état de l'art.
Le CESTI Leti a une reconnaissance internationale sur ses activités d'évaluation et recherche & développement. Le CESTI Leti recherche un ingénieur-chercheur pour l'équipe en place sur les activités d'analyse formelle et de conformité et ses futures évaluations sécuritaires.
Ainsi, le poste se décompose en trois activités principales :
Analyse formelle dans les évaluations de produit ;
Evaluation en conformité ;
Un volet R&D et/ou veille scientifique sur les évolutions de périmètre des analyses formelles.
Par ailleurs, le poste contient les missions classiques d'un ingénieur-chercheur d'un laboratoire d'évaluation : participation aux réunions de l'unité, reporting d'activité, gestion de projet, amélioration continue des procédés, contribution à l'amélioration du système Qualité...

Le/la candidat(e) devra avoir une expérience solide en utilisation de méthodes formelles et une connaissance générale du métier de l'évaluation. Une expérience en conformité serait la bienvenue. Une montée en compétences sur ce volet sera de facto prévue dès la prise de poste pour obtenir une capacité opérationnelle rapidement.
Le/la candidat(e) doit disposer d'un bagage technique fort sur les techniques d'analyse formelle.
Plus généralement, il/elle devra posséder un bagage technique proche d'une ou de plusieurs compétences d'excellence du CESTI : architecture de composant numérique intégré, logiciel embarqué, cryptographie, protocole de communication sécurisé, technologie des semi-conducteurs, physique.
Dans la perspective de contribuer au volet R&D/veille/ressourcement, une appétence pour des activités d'enseignement et d'encadrement (stage, thèse) est également souhaitable.
Il/elle devra avoir le sens de l'organisation, de la rigueur, une faculté d'adaptation, de reporting, et de relations humaines. En effet, il/elle interagira avec le chef de l'unité, les différents chefs de projet et les collaborateurs/trices de l'unité lors des évaluations et lors des projets de recherche.
Une formation, a minima, de niveau école d'ingénieur est indispensable. Il/elle devra également maitriser parfaitement l'anglais.