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

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.