La mission et responsabilités que l’on vous confie ?   

Vous intégrerez une équipe projet d’ingénieurs et vous aurez pour responsabilités principales de :

• Développer en partenariat avec des centres de recherches académiques, des méthodes innovantes en matière de cybersécurité des systèmes embarqués.
• Evaluer ces outils innovants sur des systèmes réels, notamment pour réaliser des analyses exhaustives et automatisées.
• Participer à l'architecture des outils d’analyse de vulnérabilités et à leur intégration dans un écosystème existant.
• Participer à des projets de recherche internes ou collaboratifs (publics/privés).
• Analyser les tendances technologiques et proposer des solutions adaptées aux besoins de l'entreprise.
• Contribuer à la veille technologique et scientifique dans le domaine de la cybersécurité.
• Travailler en étroite collaboration avec les chefs de projets, les experts techniques (lead tech), les équipes de sécurité, de développement et d'architecture pour atteindre les objectifs communs d’intégration des développements R&D dans une plateforme commune et les objectifs d’amélioration continue des performances ainsi que de sécurité des produits.
• Rédiger des rapports techniques, des documentations et présenter les résultats aux parties prenantes.
• Assurer un suivi régulier de l’avancement des projets de R&D.

Description du profil :

Votre profil pour réussir ?

Diplôme d’ingénieur (Bac+5) ou Master 2 en informatique ou niveau équivalent en développement logiciel ou cybersécurité ou domaine connexe. Un doctorat en informatique ou cybersécurité serait un atout pour les projets de recherche avancée.

Expérience dans la participation à des projets de recherche ou d’innovation technologique. Participation à des publications scientifiques ou brevets serait un avantage.

Pratique de l’anglais nécessaire.

Compétences techniques :

• Connaissances en matière de cybersécurité des systèmes embarqués, OT/IoT et notamment de, de leurs firmwares.
• Maîtrise au minimum d’un langage de programmation (ex : Assembleur, Python, C/C++, RUST).
• Connaissance des méthodes de vérification formelle, les automates, et les systèmes de preuves formelles. Analyse statique, le model-checking, et l’abstraction par interprétation.
• Connaissance des techniques de résolution symbolique, telles que l’exécution symbolique et le raisonnement SMT.

Le poste nécessitant l’accès à des informations pouvant relever du secret de la défense nationale, des habilitations de type « Secret » et/ou « Très Secret » pourront être requises.

Le poste est à pourvoir sur notre site d’Aix en Provence ou Rennes.