Ingénieur V&V Logiciels Critiques H/F

Référence : TA-PR-4779 Au sein du service Logiciel Sécuritaire, vous intégrez une équipe en charge des activités de Vérification et Validation (V&V) des logiciels embarqués participant aux fonctions les plus critiques de nos systèmes de contrôle-commande. Les logiciels concernés sont classés niveau A selon la norme CEI 60880, correspondant au niveau d'exigence le plus élevé en matière de sûreté nucléaire. Ils sont développés en langage C, dans un environnement fortement normé et outillé. Dans ce cadre, vos principales missions sont :

• Contribuer à l'élaboration de la stratégie V&V en lien avec les exigences projet.
• Analyser les exigences logicielles et concevoir les tests associés.
• Rédiger et exécuter les plans de test, y compris les tests de robustesse, couverture et régression.
• Participer aux revues techniques du code source en langage C.
• Utiliser et paramétrer les outils d'analyse statique, de simulation ou de test automatisé.
• Assurer une traçabilité rigoureuse entre exigences, tests et résultats.
• Rédiger les rapports de vérification et participer aux audits et revues qualité formelles. Vous travaillez en étroite collaboration avec les équipes de développement, les référents qualité et les experts en sûreté.