Ingénieur sécurité logiciel F/H (h/f)

Société

RATP

La RATP est une entreprise « intégrée » : elle assure ainsi l’ingénierie, l’exploitation et la maintenance de l’ensemble des matériels, systèmes, infrastructures et espaces de transport urbain.

5ème opérateur mondial de transport urbain, le groupe RATP c’est aussi plus de 40 filiales en France et à l’international et une présence dans plus de 10 pays. Le groupe emploie 56 000 personnes et réalise en 2010 un chiffre d’affaires de 4,57 milliards d’euros.

L'unité Systèmes du Transport Ferroviaire au sein du département de l’Ingénierie de la RATP recherche, pour l’atelier de qualification des logiciels, un Chargé d’études et travaux en techniques de sécurité du logiciel F/H.

L’expertise d’ingénierie du groupe couvre l’ensemble des compétences nécessaires pour gérer un projet, de la maîtrise d’ouvrage à la maîtrise d’œuvre. L’ingénierie intervient sur toutes les phases du projet : études amont, chiffrage, études techniques, conception, réalisation, pilotage, mise en service...

Ces activités participent au développement du groupe en France et à l’international.

Poste

Dans le cadre de la qualification de logiciels de sécurité ferroviaire, vous êtes responsable des activités liées aux techniques formelles : vérification des modèles formels B ou SCADE, vérification de propriétés de preuve du logiciel, suivi du développement et qualification d’outils de preuve.

Vous êtes également responsable de la vérification des logiciels de bas niveau des calculateurs de sécurité, des activités d’analyse statique des logiciels et de la vérification de l’adéquation des simulateurs de test.

Nous vous offrons un poste exigeant avec de réelles responsabilités au sein d’une équipe dynamique qui vous permettra d’acquérir des expériences riches et variées.

Profil

De formation Bac +5 en école d’ingénieurs ou 3ème cycle scientifique (doctorat en informatique), vous avez idéalement une expérience professionnelle de 3 ans.

Vous possédez des connaissances approfondies dans les domaines : méthodes formelles de développement de logiciels (langage B, technique de preuve, SCADE), langages structurés (ADA, C) ainsi que des connaissances générales dans les domaines du génie logiciel, informatique industrielle, systèmes temps réel, qualimétrie du logiciel.

Vous disposez de rigueur et de méthode, et avez un réel goût pour le travail d’équipe dans un contexte très opérationnel.

Vous n’hésitez pas à prendre des initiatives pour anticiper les obstacles possibles à la réalisation d’un projet.
Sens de l’analyse, capacité d'adaptation, autonomie et une bonne communication sont requis pour la réussite sur ce poste.

INFORMATIONS COMPLÉMENTAIRES :

Type de contrat : CDI
Lieu : Paris Est Val de Fontenay
Horaires : de bureau
Rémunération : Selon le niveau d’expérience

Rejoignez-nous…
La diversité de nos domaines d’intervention et la taille du groupe vous permettront d’évoluer tout au long de votre carrière