Ingénieur de Recherche - Synthèse Automatisée de Micro-Architectures de Processeurs pour la Sécurité Matérielle H/F

Description de l'offre : Joignez-vous à notre équipe dynamique de recherche technologique multidisciplinaire axée sur sur la sécurité matérielle et les analyses SW/HW via des méthodes. Contribuer à un projet national de recherche collaborative visant à automatiser la synthèse des micro-architectures de processeurs, ciblant spécifiquement les processeurs RISC-V intégrés. Missions principales • Participer à la spécification et au développement d'une approche pour l'application automatisée de contre-mesures au niveau architectural ou micro-architectural. • Mettre en œuvre des modèles architecturaux de contre-mesures matérielles, en se concentrant sur les attaques par injection de fautes, ainsi que leur prise en charge logicielle. • Analyser l'interaction entre les caractéristiques architecturales et micro-architecturales, en spécifiant les moyens d'exprimer les caractéristiques micro-architecturales dans un flux de synthèse de haut niveau. Joignez-vous à notre équipe dynamique de recherche technologique multidisciplinaire axée sur sur la sécurité matérielle et les analyses SW/HW via des méthodes. Contribuer à un projet national de recherche collaborative visant à automatiser la synthèse des micro-architectures de processeurs, ciblant spécifiquement les processeurs RISC-V intégrés. Missions principales • Participer à la spécification et au développement d'une approche pour l'application automatisée de contre-mesures au niveau architectural ou micro-architectural. • Mettre en œuvre des modèles architecturaux de contre-mesures matérielles, en se concentrant sur les attaques par injection de fautes, ainsi que leur prise en charge logicielle. • Analyser l'interaction entre les caractéristiques architecturales et micro-architecturales, en spécifiant les moyens d'exprimer les caractéristiques micro-architecturales dans un flux de synthèse de haut niveau.

Profil du candidat : Profil du candidat • Doctorat. en électronique ou en informatique avec une formation en systèmes embarqués. • Expérience significative en architecture de processeur et/ou matériel sécurité. • La connaissance des flux de synthèse RTL, des outils EDA et des méthodes formelles est un atout. plus. • À l'aise dans un environnement de recherche multidisciplinaire avec un équilibre entre recherche appliquée et recherche théorique. Compétences techniques • Architecture informatique et programmation : Processeur embarqué architectures, code machine bas niveau, logiciels embarqués, matériel langages de description d'architecture (HDL). • Expérience de travail en collaboration avec des R&D industriels et universitaires les partenaires. Qualités personnelles souhaitées • Capacité à travailler en collaboration en équipe tout en démontrant autonomie. • Curiosité scientifique avec un goût pour les défis techniques. • Solides compétences en résolution de problèmes et capacité à comprendre des questions complexes. • Vision transversale et capacité à prendre du recul. • Méthodes de travail rigoureuses et capacité de synthèse. • De solides compétences en communication.