Descriptif du poste: La spécialisation « méthodes formelles » repose en premier lieu sur la maîtrise d'une approche « Model Based Development » mettant en œuvre des techniques formelles de modélisation et de preuve. Ainsi, au sein du département Modélisation et Preuve, vous participerez aux missions suivantes : * Réaliser les activités des projets de développement, d'amélioration continue ou de recherche internes utilisant les méthodes formelles, * Suivre les développements des méthodes formelles et proposer des utilisations qui améliorent les objectifs de Qualité Coût et Délais, * Définir les processus des utilisations des méthodes formelles conformes aux normes ferroviaires. Vous aurez à appliquer des méthodes de travail rigoureuses. A chaque étape, vous serez encadré par un expert qui vous aidera à appréhender les spécificités des développements critiques utilisant les méthodes formelles et des normes associées. Profil recherché: * Ingénieur de formation grandes écoles ou universités, vous avez une première expérience (stages compris) dans un poste similaire. * Idéalement vous connaissez la méthode B, le Model-Checking ou d'autres techniques formelles. * Vous êtes complètement à l'aise avec l'anglais technique. * Vous êtes rigoureux, curieux et avez le goût du challenge. Rejoindre Systerel, c'est : * Adhérer à des valeurs telles qu'excellence, engagement, bienveillance et équité, * Bénéficier d'un encadrement de qualité, * Un parcours professionnel personnalisé et évolutif : parrainage, mobilité interne, formations. * Un package de rémunération et des avantages attractifs : 27 jours de congés, RTT, intéressement, plan d'épargne d'entreprise, compte épargne temps, pack famille, tickets restaurant, * Du télétravail et une véritable recherche d'équilibre vie pro / vie perso, * Un engagement RSE fort. Alors n'hésitez plus à nous faire parvenir votre candidature !