Pour l'un de nos clients industriels du bassin grenoblois, nous recherchons un ingénieur V&V logiciel senior pour intervenir sur la validation de développements logiciels embarqués dans des systèmes de contrôle-commande de sûreté classés, dans le respect des normes et standards applicables au domaine. Spécification & vérification - Participer aux revues de conception logicielle - Rédiger, publier et maintenir les spécifications de vérification - Réaliser les activités de vérification et validation prévues au plan de V&V Analyse & reporting - Suivre et analyser les résultats et taux de couverture des validations - Valider la résolution des anomalies et analyser les impacts des évolutions - Rédiger et publier les rapports de tests et de synthèse V&V Outillage & développement - Définir les besoins et développer les outils de validation (Python, C) - Développement bas niveau : C, Assembleur, scripts Bash Requis - Expérience significative en V&V logiciel sur systèmes critiques ou de sûreté classés - Maîtrise du cycle en V et de l'ingénierie système - Connaissance des OS temps réel (ordonnancement de tâches, MMU) - Langages : C, Assembleur, Python, Bash - Environnements Windows et Linux - Outils : Git, Jenkins, Jira, JAMA (traçabilité des exigences) - Processus de revues documentaires - Anglais technique courant (documentation) - Connaissance développement bas niveau embarqué