Votre principal rôle sera de :

- Participer, pour les aspects Sécurité, à l’expression des besoins et au choix des industriels en phase de conception générale

- Définir le programme d’évaluation de la sécurité des logiciels de sécurité

- Evaluer la démonstration de sécurité logicielle produite par l’industriel

- Vérifier la conformité de la solution technique proposée par l’industriel en regard des objectifs de sécurité alloués

Votre mission principale sera d’évaluer la sécurité des logiciels développés par l’industriel avec la méthode B, impliquant notamment les activités suivantes :

- Approbation des plans de l’industriel et vérification de leur application, vérification des analyses de sécurité de l’industriel, vérification de la qualification des outils utilisés, vérifications sur la partie descendante du cycle en V :

des spécifications logicielles

des modèles B (~conception)

du code ADA des machines de base (~implémentation)

des règles ajoutées de preuve

des résultats des preuves (ou rejeu)

- Vérification de la génération des exécutables

- Vérifications sur la partie remontante du cycle en V :

de l’adéquation des moyens de tests

des cas de tests, des scénarios de tests, de leur implémentation et de leurs résultats

Conformément à la loi n°2016-339 du 22 mars 2016 et au décret n°2017-757 du 3 mai 2017 pris en son application, une enquête administrative sera sollicitée auprès des services du ministère de l’Intérieur pour tout candidat sur ce poste.

Pour en savoir plus, cliquez sur le lien suivant : https://www.ratp.fr/groupe-ratp

Vous êtes titulaire d’un BAC+5 (Ingénieur, Master 2…) dans le domaine du développement de logiciel de sûrs ou de la sûreté de fonctionnement appliquée au domaine logiciel et vous avez acquis 2 années d’expérience minimum dans le domaine .

Pour relever ces défis, nous recherchons une personne :

Rigoureuse

Autonome

Ayant un bon relationnel

Ayant le sens des responsabilités

Vous vous reconnaissez N’hésitez pas à postuler directement en ligne

Tous nos métiers sont ouverts aux personnes en situation de handicap

Type de contrat : Contrat à durée indéterminée

Localisation : 94120 Fontenay sous Bois

Télétravail : oui (2 à 3 jours par semaine)

Salaire : à définir selon expérience - Minimum 43kEUR bruts annuels/an hors primes

Principaux avantages entreprise :

- Évolution de carrière vers d’autres métiers y compris en filiales internationales

- 9 semaines de congés, soit 206 jours travaillés par an