Ingénieur Vérification & Validation Logiciel Embarqué Aéronautique

Dans le cadre du développement de projets aéronautiques à fortes exigences de sûreté de fonctionnement, nous recherchons un Ingénieur Vérification & Validation Logiciel Embarqué Aéronautique. Vous interviendrez sur des logiciels critiques dédiés au contrôle des moteurs aéronautiques (FADEC), en contribuant à leur fiabilité et à leur conformité aux exigences de certification. Vous évoluerez dans un environnement technique exigeant, associant vérification logicielle, méthodes de preuve formelle et essais sur calculateurs réels. Tâches

• Analyser les exigences et les spécifications logicielles pour définir les procédures de vérification.
• Concevoir, développer et exécuter des tests unitaires et des tests de haut niveau (HLT).
• Réaliser des campagnes de tests fonctionnels sur bancs d'essai et interpréter les résultats.
• Mettre en œuvre des méthodes de vérification formelle pour démontrer les propriétés des logiciels, notamment avec TrustInSoft.
• Effectuer des analyses statiques du code pour identifier les anomalies et les écarts aux règles de développement.
• Détecter, analyser, documenter et suivre les anomalies logicielles jusqu'à leur résolution.
• Assurer la traçabilité entre les exigences, les procédures de test et les résultats de vérification.
• Produire les documents et les preuves nécessaires à la certification des logiciels selon la norme DO-178B/C.
• Participer aux activités de remontée du cycle en V et à l'amélioration des processus de vérification.
• Participation à des projets aéronautiques de haute technicité sur des systèmes embarqués critiques.
• Développement de compétences spécialisées en vérification logicielle, preuve formelle et certification aéronautique.
• Environnement de travail stimulant, au contact d'équipes d'ingénierie expérimentées.
• Possibilités de formation et d'évolution professionnelle.
• Mutuelle et régime de prévoyance.
• Titres-restaurant ou indemnités de repas selon les modalités applicables.
• Avantages proposés par le comité social et économique.

A propos de notre client Notre client est un acteur reconnu de l'ingénierie et de l'intégration de systèmes critiques, spécialisé dans la conception, le développement, la sécurisation et la maintenance de solutions technologiques complexes. Présent notamment dans les secteurs de l'aéronautique, de la défense, du spatial et de l'énergie, il accompagne de grands industriels sur des programmes stratégiques nécessitant une expertise avancée en logiciels embarqués, sûreté de fonctionnement et certification. Son positionnement sur les systèmes critiques et sa maîtrise des environnements réglementés en font un partenaire de référence pour les projets technologiques à fortes contraintes de fiabilité et de sécurité.

• Diplôme Bac+5 en informatique industrielle, logiciel embarqué, électronique ou ingénierie aéronautique.
• Expérience professionnelle d'au moins 3 ans en vérification et validation de logiciels embarqués, idéalement de 3 à 5 ans ou plus.
• Maîtrise des activités de tests unitaires, de tests fonctionnels et de tests logiciels de haut niveau (HLT).
• Bonne connaissance de la norme DO-178B/C et des exigences de vérification et de traçabilité associées.
• Expérience des processus de développement et de vérification suivant le cycle en V.
• Pratique des essais sur banc et de l'analyse du comportement de logiciels embarqués.
• Connaissance des méthodes de vérification formelle et des outils associés, notamment TrustInSoft.
• Capacité à exploiter des résultats de tests, à diagnostiquer des anomalies et à rédiger une documentation technique rigoureuse.
• Connaissance des outils d'analyse statique, notamment Klocwork, appréciée.
• Une expérience sur des calculateurs aéronautiques ou des systèmes de régulation moteur FADEC constitue un atout.
• Rigueur, esprit d'analyse, autonomie et aptitude à travailler dans un environnement soumis à des exigences de certification élevées.