Research Engineer - Automated Synthesis of Processor Micro-Architectures for Hardware Security H/F

Job description:   Join our dynamic multidisciplinary technological research team focused   on hardware security and SW/HW analyses through formal   methods. Contribute to a national collaborative research project   aiming to automate the synthesis of processor micro-architectures,   specifically targeting embedded RISC-V processors. Main Missions   • Participate in the specification and development of an approach for the automated application of countermeasures at the architectural or micro-architectural levels.   • Implement architectural models of hardware countermeasures, focusing  on fault injection attacks, along with their software support.   • Analyze the interplay between architectural and micro-architectural features, specifying means to express micro-architectural features in a high-level synthesis flow.

Your profile: 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.