Descriptif du poste: Compagnie des Signaux renforce ses équipes et recrute un Ingénieur preuves formelles H/F en CDI, pour son site de Riom (63 - près de Clermont-Ferrand). Vous êtes chargé de démontrer par l'utilisation des méthodes formelles la sécurité d'un logiciel de signalisation ferroviaire. Vos principales missions incluent : * Piloter le lot assigné, sur un projet déterminé en respectant les impératifs de qualité coût et délais * Analyser les contraintes de sécurité du projet et les modéliser en utilisant les méthodes formelles * Collaborer avec les équipes de développement, d'étude, de sécurité au cours des différentes phases du projet * Participer à l'écriture des scripts de preuves formelles dans un langage de développement dédié * Rédiger le catalogue de preuves et exécuter les campagnes de preuves formelles conformément aux règles de l'art et aux normes en vigueur * Donner l'assurance à la fin des essais que le fonctionnement et les caractéristiques des installations visées par les essais sont conformes aux principes de sécurité qui les définissent Modalités de travail : * Temps complet * Télétravail partiel possible (jusqu'à 2 jours par semaine) Localisation du poste : * Riom, près de Clermont-Ferrand, au cœur de la Zone d'Activité Portes de Riom Sud * Accès facilité : * En voiture depuis l'autoroute A71/A72 et la N9 * En train depuis la gare Riom - Châtel-Guyon Profil recherché: De formation Bac+5, vous êtes diplômé d'une école d'ingénieur ou d'université, ou vous possédez des connaissances ou une expérience équivalente. Ce poste requiert : * Un minimum de 2 ans d'expérience en méthodes formelles * De réelles compétences dans les moteurs de preuves formelles * La connaissance de la signalisation ferroviaire serait un plus * Connaissances de la méthode B, du langage HLL, des environnements de développement SCADE * Un niveau de français et d'anglais, courant et technique, qui vous permet d'évoluer aisément dans notre environnement international et multiculturel