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

Les missions du poste

LH&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 collaborateurs en favorisant un écosystème stimulant. Nous sommes convaincus qu'une société de conseil en ingénierie peut répondre à nos enjeux humains et technologiques :

Nos enjeux humains : le monde du travail évolue vite. Nous souhaitons plus de flexibilité (télétravail, poste en full remote...), avoir le sentiment que notre travail a du sens, qu'il soit une source d'inspiration, de gratification et favorise la création d'un groupe soudé. Nous avons créé une communauté bienveillante, où le temps et le financement de la formation sont un droit et un devoir ; où son plan individuel d'évolution de carrière stimule est un contrat signé avant l'arrivée dans l'entreprise ; et enfin, où le partage du savoir-faire et de la valeur est au coeur de notre entreprise.

Nos enjeux technologiques : Les systèmes sont de plus en plus hybrides entre le Digital et notre monde physique. Ils sont incontournables pour nous apporter des services de plus en plus proches de notre quotidien, nos usages et nos besoins. Nous les rendrons de plus en plus SMART, à condition qu'ils soient intelligents, connectés et sécurisés.

Si vous souhaitez relever ses enjeux avec nous, alors rejoignez-nous !



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 oeuvre 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.

Le profil recherché

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.

Bienvenue chez LH & Tech

LH&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 collaborateurs en favorisant un écosystème stimulant. Nous sommes convaincus qu'une société de conseil en ingénierie peut répondre à nos enjeux humains et technologiques : Nos enjeux humains : le monde du travail évolue vite. Nous souhaitons plus de flexibilité (télétravail, poste en full remote...), avoir le sentiment que notre travail a du sens, qu'il soit une source d'inspiration, de gratification et favorise la création d'un groupe soudé. Nous avons créé une communauté bienveillante, où le temps et le financement de la formation sont un droit et un devoir ; où son plan individuel d'évolution de carrière stimule est un contrat signé avant l'arrivée dans l'entreprise ; et enfin, où le partage du savoir-faire et de la valeur est au coeur de notre entreprise. Nos enjeux technologiques : Les systèmes sont de plus en plus hybrides entre le Digital et notre monde physique. Ils sont incontournables pour nous apporter des services de plus en plus proches de notre quotidien, nos usages et nos besoins. Nous les rendrons de plus en plus SMART, à condition qu'ils soient intelligents, connectés et sécurisés. Si vous souhaitez relever ses enjeux avec nous, alors rejoignez-nous !

Mais aussi...

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 clientNotre 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é.