Ingénieur Vérification & Validation Logiciel Embarqué Aéronautique F/H

Descriptif du poste:\n\nDans 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.\n\n \nTâches\n* Analyser les exigences et les spécifications logicielles pour définir les procédures de vérification.\n* Concevoir, développer et exécuter des tests unitaires et des tests de haut niveau (HLT).\n* Réaliser des campagnes de tests fonctionnels sur bancs d’essai et interpréter les résultats.\n* Mettre en œuvre des méthodes de vérification formelle pour démontrer les propriétés des logiciels, notamment avec TrustInSoft.\n* Effectuer des analyses statiques du code pour identifier les anomalies et les écarts aux règles de développement.\n* Détecter, analyser, documenter et suivre les anomalies logicielles jusqu’à leur résolution.\n* Assurer la traçabilité entre les exigences, les procédures de test et les résultats de vérification.\n* Produire les documents et les preuves nécessaires à la certification des logiciels selon la norme DO-178B/C.\n* Participer aux activités de remontée du cycle en V et à l’amélioration des processus de vérification.\n\nProfil recherché:\n\n* Diplôme Bac+5 en informatique industrielle, logiciel embarqué, électronique ou ingénierie aéronautique.\n* 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.\n* Maîtrise des activités de tests unitaires, de tests fonctionnels et de tests logiciels de haut niveau (HLT).\n* Bonne connaissance de la norme DO-178B/C et des exigences de vérification et de traçabilité associées.\n* Expérience des processus de développement et de vérification suivant le cycle en V.\n* Pratique des essais sur banc et de l’analyse du comportement de logiciels embarqués.\n* Connaissance des méthodes de vérification formelle et des outils associés, notamment TrustInSoft.\n* Capacité à exploiter des résultats de tests, à diagnostiquer des anomalies et à rédiger une documentation technique rigoureuse.\n* Connaissance des outils d’analyse statique, notamment Klocwork, appréciée.\n* Une expérience sur des calculateurs aéronautiques ou des systèmes de régulation moteur FADEC constitue un atout.\n* Rigueur, esprit d’analyse, autonomie et aptitude à travailler dans un environnement soumis à des exigences de certification élevées.

nLH&TECH est une société de conseil en ingénierie et recrutement, spécialisée dans les systèmes intelligents, connectés et sécurisés.

LH&TECH Recruitment est un cabinet de recrutement expert des secteurs pénuriques. Nous accompagnons nos candidats qui privilégient des opportunités au sein de startups, PME, ETI et grands Groupes. Nous proposons à nos clients de bénéficier de notre maîtrise du marché des ingénieurs.

LH&TECH Engineering a pour vocation de faire grandir nos collaborateu