Descriptif du poste: Systerel développe sa propre gamme de produits dédiés notamment à la modélisation et la vérification formelle de systèmes de signalisation ferroviaire, en particulier les postes à enclenchements. Systerel Smart Solver est un produit basé sur du model checking et permettant de faire de la preuve formelle de propriétés de sécurité. Déjà diffusé et utilisé par des acteurs majeurs de l'industrie ferroviaire, Systerel a ainsi pour ambition de traiter la grande majorité des postes à enclenchements du parc français. Associé à des traducteurs et outils spécialisés, Systerel Smart Solver offre une large gamme de services tels que : * L'analyse statique de code, * La preuve de propriétés, * La recherche de contre-exemples, * La génération automatique de tests (fonctionnels/structurels). A travers le poste qui vous est proposé, vous intégrerez l'équipe qui développe le produit Systerel Smart Solver en collaboration étroite avec l'équipe de modélisation. Le model checking est en perpétuelle évolution et intègre régulièrement de nouveaux algorithmes ou techniques permettant d'améliorer les performances des outils. Vous aurez la responsabilité de ces évolutions en assurant l'ensemble du cycle de développement, des phases de spécification aux phases de tests et validation jusqu'à la livraison aux utilisateurs finaux. Vous évoluerez dans l'environnement technique suivant : * Langage : C (principalement), OCaml, Python, Go, Rust, * OS : Linux, * Gestion de configuration : Mercurial. Profil recherché: * Vous êtes titulaire d'une thèse sur les méthodes formelles ou les solveurs SAT et/ou ingénieur spécialisé dans le développement logiciel et l'algorithmique. * Vous disposez d'une première expérience d'au moins 3 ans (thèse comprise) dans le développement logiciel orienté méthodes formelles ou à forte composante algorithmique. * Vous êtes complètement à l'aise avec l'anglais technique. * Vous êtes très 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 !