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.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 !Notre cœur de métier est le développement de systèmes critiques principalement pour le ferroviaire, l'industrie ou l'énergie.Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l’envie d’apprendre dans un environnement stimulant et innovant.Notre croissance offre de réelles opportunités d’évolution dans une structure à taille humaine. 

Contexte de la mission :Viveris accompagne ses clients dans la conception et la fabrication de solutions technologiques avancées, avec une spécialisation dans le domaine de la robotique.Dans ce cadre, nous recherchons un Développeur Rust expérimenté pour contribuer au développement de nouvelles fonctionnalités et assurer la maintenance des fonctionnalités existantes.Intégré au sein de l'équipe R&D composée d'ingénieurs pluridisciplinaires, vous participerez à la conception et au développement des projets de drones industriels. Vous rejoindrez une équipe dynamique dédiée à la plateforme backend, responsable de la gestion des données des drones et de la création d'API robustes pour nos interfaces utilisateurs et partenaires.Responsabilités : - Développer et maintenir des API pour communiquer avec les interfaces utilisateurs (Angular), les partenaires et pour remonter les données collectées par les drones ; - Contribuer à la mise en place d'une architecture micro-services orientée événements pour traiter les données collectées et générer des rapports basés sur l'IA ; - Manipuler des données provenant de différents formats (logs de vol, photos, vidéos, capteurs comme LIDAR, DVL, etc.) ; - Travailler dans un environnement asynchrone avec Rust et Tokio pour le traitement des données en temps réel ; - Implémenter des solutions de messagerie distribuée (Nats, Kafka, etc.) pour gérer la communication entre microservices ;Assurer la scalabilité et la performance de la plateforme backend en utilisant Docker et Kubernetes.Profil recherché :Diplômé d'une formation supérieure (Bac +5) en informatique ou équivalent, vous justifiez d'au moins 5 ans d'expérience en développement logiciel. - Vous parlez anglais couramment à l'écrit comme à l'oral. - Une expérience dans le secteur naval est un plus apprécié.Compétences techniques : - Maîtrise de NodeJS et du framework Nest, avec une expérience significative dans des environnements de développement back-end ; - Solide expérience en Rust, notamment dans le traitement asynchrone avec Tokio et dans une architecture orientée événements ; - Bonne maîtrise des bases de données SQL (PostgreSQL, MySQL) ; - Expérience avec une solution de messagerie distribuée (Nats, Kafka, ou autre) ; - Connaissance des outils Docker et Kubernetes pour la gestion des environnements et déploiements.Nos avantages : - Rémunération attractive et évolutive ; - Mutuelle familiale à garantie haute ; - Tickets restaurant pris en charge à 60% ; - 100% titre de transport urbain remboursé ; - Primes d'intéressement, de participation et de cooptation ; - 2 jours de télétravail par semaine ; - Formation continue avec LinkedIn Learning et nos communautés techniques.Viveris est un groupe de conseil et d'ingénierie spécialisé dans la conduite et la réalisation de projets dans les domaines de l'informatique et de l'électronique.S'engager avec Viveris, c'est l'assurance de relever des défis techniques et humains tout en travaillant sur des projets innovants dans un environnement collaboratif et solidaire.