Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F
CDD
•Essonne (91)
...d'analyse de code binaire pour la sécurité :- la conception, implémentation et évaluation d'analyses innovantes pour la cybersécurité ;- le montage/réalisation/gestion de projets de recherche ou de transfert de nos technologies vers nos partenaires industriels...