En poursuivant votre navigation, vous acceptez l’utilisation de cookies pour vous proposer des services et des offres adaptés à vos centres d’intérêt et mesurer la fréquentation de nos services. Pour en savoir plus et paramétrer les cookies

Nos offres

Imprimer

Retour aux offres du même diplôme Retour aux offres du même métier

Nous rejoindre

Réf. DCE/ING 44 LS/DETRES

Type : Emploi

Ingénieur technique de sécurité du logiciel F/H


Le groupe RATP, implanté dans 14 pays, sur quatre continents, est le 5e groupe de transport public urbain au monde. Il est composé d’une maison-mère qui exploite le réseau francilien – un réseau multimodal parmi les plus complexes – et d’une centaine de filiales qui proposent une variété d’expertises en France et à l’international. C’est une entreprise intégrée, qui détient une expertise globale : ingénierie, exploitation et maintenance.

Au sein du département Ingénierie (ING), l’unité STF (Systèmes du Transport Ferroviaire) est en charge de la gestion des activités de maîtrise d'œuvre pour les produits et systèmes ou d'assistance à maîtrise d'ouvrage dans les domaines des systèmes ferroviaires comprenant la signalisation, les automatismes de commande et contrôles du mouvement des trains, les systèmes d'échanges voyageurs. L'unité assure aussi des prestations d'expertise dans son domaine technique auprès de ses partenaires.

La RATP recrute un(e) Ingénieur technique de sécurité du logiciel.

Poste et missions Profil Recherché


Dans le cadre de différents projets, l’Ingénieur technique de sécurité du logiciel garantit la pertinence des solutions techniques employées par les industriels pour garantir le niveau de sécurité requis des logiciels impliqués dans les systèmes de contrôle/commande des trains ou de signalisation ferroviaire.
En cela, les missions sont :

  • Contrôler et valider la méthodologie utilisée par les industriels employant une ou plusieurs méthodes formelles et en vérifier l’application,
  • Vérifier les preuves et les modèles formels réalisés par les industriels,
  • Assurer la modélisation formelle de système ou de logiciels,
  • Réaliser les preuves formelles,
  • Assurer la modélisation formelle de l’environnement d’un logiciel,
  • Etablir un rapport d’évaluation,
  • Evaluer les Logiciels de Base,
  • Analyser les principes de sécurité d’un Calculateur de Base,
  • Vérifier la conception d’un Logiciel de Base,
  • Etablir un rapport d’évaluation,
  • Vérifier l’adéquation des moyens de test (en particulier l’adéquation d’un simulateur d’environnement à l’activité de test prévue par l’industriel),
  • Vérifier le plan de contrôle de l’industriel,
  • Assurer la veille technologique sur les médias et/ou en participant à des congrès,
  • Contribuer à l’amélioration continue des techniques de preuve formelle appliquées au contexte d’évaluation des logiciels,
  • Contribuer à la rédaction d’articles scientifiques,


Vous êtes diplômé d’une formation ingénieur ou de niveau bac+5, dans le domaine de l’architecture des calculateurs embarqués/méthode formelle, et vous avez une expérience de 2 ans minimum dans ce domaine.


Vous faites preuve de méthodes, de synthèse et de rigueur dans vos activités. Vous êtes autant à l’aise à l’écrit qu’à l’oral et avez un réel goût pour le travail en équipe.


Vous êtes autonome dans la gestion de vos dossiers et savez gérer plusieurs projets en même temps. Vous êtes réactif et n’hésitez pas à prendre des décisions.

Informations complémentaires



Type de contrat : CDI.
Lieu : Val-de-Fontenay (RER A).
Horaires : De bureau, possibilité de travail en nuit exceptionnelle.
Rémunération : Selon le profil.