> Markdown version of [/jobs/ext/3910907-ingenieur-verification-validation-logiciel-embarque-aeronautique-f-h](https://www.wearedevelopers.com/jobs/ext/3910907-ingenieur-verification-validation-logiciel-embarque-aeronautique-f-h). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

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

- **Company:** LH & TECH
- **Location:** Toulouse, France
- **Salary:** €40,000.0 - €50,000.0
- **Contract:** Permanent contract
- **Skills:** Testing (Software), Unit Testing, Computer Engineering, Embedded Software, Formal Verification, Verification and Validation (Software), DO-178B
- **Published:** October 26, 2026
- **Apply:** https://candidat.francetravail.fr/offres/recherche/detail/8263663

## About the Role

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.