Ingénieur preuves formelles f/h

Compagnie des Signaux renforce ses équipes et recrute un Ingénieur preuves formelles H/F en CDI, pour son site des Ulis (91), siège social, ou à Riom (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 :

* Les Ulis, au cœur du Parc d’activités de Courtabœuf

Accès facilité :

* En voiture depuis l’autoroute A10/A11 et la N118
* En bus n°22 depuis la gare RER de Massy Palaiseau (RER B et C)

OU

* 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




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 3 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

Cependant, si l’un ou plusieurs de ces critères vous manquent, tentez votre chance malgré tout ! Nous avons à cœur d’étudier tout profil intéressant, même si celui-ci sort un peu du cadre.




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 de la carte Navigo
* Protection sociale (mutuelle et prévoyance)
* RIE (restaurant inter-entreprises au sein des locaux des Ulis)