Descriptif du poste: 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. Profil recherché: 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.