Ingénieur Validation et Vérification Logiciel Senior H/F - Astorm
- Le Haillan - 33
- CDI
- Astorm
Les missions du poste
ASTORM est une Société de Consulting, basée à Paris et à Brive-la-Gaillarde qui apporte son expertise à ses clients principalement dans les domaines suivants :
BANQUE/ASSURANCE
TELECOM
AERONAUTIQUE/DEFENSE
INDUSTRIE AUTOMOBILE
ENERGIE
Tout en étant une entreprise à taille humaine, ASTORM bénéficie d'un référencement en direct auprès de Grands Comptes.
Astorm détient une filiale en Tunisie et une autre au Maroc afin d'y accompagner certains de ses clients.
Nous cherchons à recruter des ingénieurs de valeur afin de renforcer notre équipe de consultants.
Astorm a comme politique d'impliquer chaque consultant dans le développement de l'entreprise en soutenant les initiatives par des primes d'intéressements.
Chez Astorm, vous ne serez pas seulement un consultant mais vous serez un acteur de la société.
Vous avez confiance en votre potentiel, vous cherchez de nouvelles opportunités pour faire avancer votre carrière, vous souhaitez être considéré pour ce que vous êtes et êtes motivé pour réussir. Vous êtes notre candidat !
Dans le cadre du développement de logiciels embarqués critiques destinés aux systèmes de lancement, l'entreprise recherche un(e) Ingénieur(e) Validation et Vérification Logiciel Senior.
Vous serez responsable du pilotage des activités de validation et de vérification (V&V) afin de garantir la fiabilité, la robustesse et la conformité des logiciels embarqués. Vous travaillerez en étroite collaboration avec les équipes de développement logiciel, système et bancs d'essais avioniques, dans un environnement technique exigeant.
Missions principales
- Pilotage des activités V&V : organiser et suivre les activités de validation logicielle, en garantissant le respect des objectifs, des processus et des livrables.
- Processus et normes : définir et améliorer les méthodes de validation en conformité avec les référentiels applicables aux systèmes critiques, notamment ECSS et DO-178.
- Environnements de test : identifier les besoins en moyens d'essai et collaborer à la mise en place des bancs de test avioniques.
- Campagnes de validation : préparer et exécuter les essais à blanc, vérifier la maturité des environnements de test et piloter les campagnes officielles.
- Gestion des exigences : contribuer à l'analyse des exigences système, définir les critères de vérification et assurer la traçabilité entre exigences, tests et résultats.
- Conception des tests : superviser la rédaction des cas de test et des procédures de validation.
- Expertise technique : garantir la qualité des méthodes de vérification, la couverture des tests et la production des preuves de qualification.
- Analyse des anomalies : investiguer les défauts, identifier les causes racines, vérifier les corrections et documenter les résultats.
- Automatisation et amélioration continue : contribuer à l'évolution des outils de test, des infrastructures et des pipelines CI/CD.
Le profil recherché
- Diplôme d'ingénieur ou Master en informatique, génie logiciel, ingénierie aérospatiale ou domaine équivalent.
- Expérience en validation et vérification de systèmes embarqués temps réel et critiques.
- Bonne maîtrise des méthodologies de développement de systèmes critiques, notamment le cycle en V, les normes ECSS et DO-178.
- Maîtrise de Git, GitLab et des outils d'intégration continue.
- Compétences en programmation Python.
- Capacité à rédiger, analyser et exploiter une documentation technique rigoureuse.
- Autonomie, rigueur, esprit d'initiative et aptitude au travail en équipe.
Compétences complémentaires appréciées
- Développement en C++ moderne (C++20) ou en Rust.
- Connaissance de Linux PREEMPT_RT, des systèmes d'exploitation temps réel (RTOS), du bare-metal et des microcontrôleurs STM32.
- Expérience des bancs Hardware-in-the-Loop (HIL), des simulateurs et des outils de débogage matériel.
- Maîtrise des outils d'automatisation CI/CD, notamment GitLab CI/CD et Jenkins.
- Connaissance des outils de build Make, CMake, Bazel ou Yocto.
- Familiarité avec les protocoles Ethernet déterministes et les bus de communication industriels, notamment MIL-STD-1553 et CANopen.