Descriptif du poste:\n\nLa 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.\nAinsi, au sein du département Modélisation et Preuve, vous participerez aux missions suivantes :\n* Réaliser les activités des projets de développement, d'amélioration continue ou de recherche internes utilisant les méthodes formelles,\n* Suivre les développements des méthodes formelles et proposer des utilisations qui améliorent les objectifs de Qualité Coût et Délais,\n* Définir les processus des utilisations des méthodes formelles conformes aux normes ferroviaires.\nVous aurez à appliquer des méthodes de travail rigoureuses.\nA 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.\n\nProfil recherché:\n\n* Ingénieur de formation grandes écoles ou universités, vous avez une première expérience (stages compris) dans un poste similaire.\n* Idéalement vous connaissez la méthode B, le Model-Checking ou d'autres techniques formelles.\n* Vous êtes complètement à l'aise avec l'anglais technique.\n* Vous êtes rigoureux, curieux et avez le goût du challenge.\nRejoindre Systerel, c'est :\n* Adhérer à des valeurs telles qu'excellence, engagement, bienveillance et équité,\n* Bénéficier d'un encadrement de qualité,\n* Un parcours professionnel personnalisé et évolutif : parrainage, mobilité interne, formations.\n* 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,\n* Du télétravail et une véritable recherche d'équilibre vie pro / vie perso,\n* Un engagement RSE fort.\nAlors n'hésitez plus à nous faire parvenir votre candidature !