Notre client est un acteur majeur dans le domaine de la vérification formelle, reconnu pour son expertise technique et son innovation. En pleine croissance, il recherche à renforcer ses équipes à Paris et Grenoble pour soutenir ses projets stratégiques en conception et vérification de systèmes complexes.Missions : Développer et appliquer des techniques de vérification formelle pour la conception de puces et d'outils de CAO, ainsi que pour la modélisation et la vérification des systèmes, Collaborer avec des équipes pluridisciplinaires pour intégrer des méthodes formelles dans les processus de conception à différents niveaux (puce et système), Mener des recherches et proposer des solutions innovantes pour améliorer l'efficacité, la précision et la scalabilité des vérifications formelles, Fournir un leadership technique, encadrer des ingénieurs juniors et participer au développement stratégique des outils et méthodes de vérification, Pour le rôle basé à Paris, jouer un rôle-clé dans la création et le développement d'une nouvelle équipe locale. Participer à des projets novateurs impactant la conception de puces et la vérification des systèmes/travailler aux côtés d'experts reconnus en méthodes formelles/un cadre stimulant avec de réelles opportunités d'évolution/rémunération compétitive, adaptée à votre expertise et expérience.