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é :
o En voiture depuis l’autoroute A71/A72 et la N9
o En train depuis la gare Riom - Châtel-Guyon
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
Compagnie des Signaux, société du Groupe MERMEC, est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions innovantes et durables dans les domaines de la signalisation, de l’exploitation, du service et de la maintenance, ainsi que de la technologie numérique et des systèmes clé en main.
Le Groupe MERMEC est présent dans 21 pays et compte plus de 3 000 employés dans le monde.
Compagnie des Signaux est présente en France et emploie aujourd'hui près de 500 personnes réparties sur trois sites :
* Les Ulis (Ile-de-France) : siège social, ingénierie, développement et management des projets
* Riom (Auvergne) : site industriel de production et logistique, ingénierie et développement
* Paris (Champs Elysées) : équipe de maintenance 24/7 d'une partie des réseaux de métro et de tramway de la RATP
Rejoindre les équipes de Compagnie des Signaux c’est intégrer un pôle d'excellence et de compétences mondial en matière de technologies ERTMS et automatismes ferroviaires. Grâce à ces compétences uniques, nous façonnons l'avenir des transports ferroviaires à travers le monde.
A Compagnie des Signaux, vous trouverez votre place en contribuant à la construction d’un monde plus durable et connecté. Impliqué(e) dans le cadre de projets internationaux et au sein d’équipes multiculturelles, votre travail sera à la pointe de la transformation numérique et de l’innovation technologique.
Pourquoi nous rejoindre ?
* Contribuer au développement d’un secteur d’avenir et participer à l’évolution d’un mode de transport plus durable et plus respectueux de l’environnement, répondant aux grands enjeux du XXIème siècle
* Participer à ce marché de la signalisation ferroviaire en forte croissance dont la large palette de métiers qui le compose (Système, Hardware, Software, Communication, Cybersécurité, …) permet d’envisager nombre de parcours professionnels et d’expériences au service la sécurité et l’efficacité des transports
* Evoluer au sein d’une entreprise responsable et engagée en faveur de grandes causes telles que la préservation de l’environnement (une entreprise qui s’engage à réduire de 100% ses propres émissions de CO2 d’ici à 2030, et d'ici à 2050 les émissions de CO2 de l'ensemble de sa chaîne de valeur), la diversité, l’égalité des chances et l’emploi des personnes en situation de handicap
* Intégrer une entreprise bienveillante, à taille humaine et multiculturelle, qui prône un équilibre entre la vie professionnelle et la vie privée
* Rejoindre un employeur qui décroche depuis 8 ans la labellisation HappyTrainees et dont le taux de recommandation des stagiaires et alternants s’élève à 92% en 2024
* Bénéficier d’une politique de télétravail, d’un plan de formation et d’un accompagnement de votre carrière dans l’objectif de développer vos compétences et de construire votre avenir professionnel
Nos autres avantages :
* CSE
* 1% Logement
* Epargne salariale (PEE/PERECO) & abondement
* Participation et Intéressement
* Prise en charge partielle du titre de transport
* Protection sociale (mutuelle et prévoyance)
* RIE (restaurant inter-entreprises à proximité du site de Riom)
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.