Descriptif du poste: Rejoignez un acteur majeur de l'ingénierie aéronautique pour relever les défis d'un beau projet. Au sein d'un bureau d'études logiciel embarqué de pointe, vous intégrerez une équipe stratégique dont la mission est de concevoir, développer et qualifier les outils de vérification et de validation (V&V) indispensables à la certification des logiciels aéronautiques de nouvelle génération. En tant qu'Ingénieur(e) Développement, vous intervenez sur l'ensemble du cycle de vie des chaînes d'outils critiques : * Conception & Développement : Création d'analyseurs statiques de pointe pour détecter les erreurs de conception en amont. * Maintenance Évolutive : Optimisation constante des outils existants pour accompagner la montée en puissance des équipes de développement. * Qualification : Garantie de la fiabilité des outils d'analyse statique de code, en stricte conformité avec les exigences de sécurité aéronautique. * Accompagnement Technique : Support aux utilisateurs et intégration des outils dans les workflows de production. * Transmission : Préparation et animation de sessions de formation pour assurer la montée en compétence des équipes sur vos solutions. Expertise Technique attendue : Langages : Python, C++, C, OCaml Analyse Statique : Frama-C, Astrée, ACSL DevOps & Environnement : Docker, Git, Bash, XML Profil recherché: Diplômé(e) d'une école d'ingénieur ou d'un Master 2 spécialisé en informatique / génie logiciel, vous justifiez d'une première expérience (incluant les stages significatifs) en développement d'outils ou logiciel embarqué.  * Esprit d'analyse : Goût prononcé pour l'algorithmique et la qualité logicielle. * Pédagogie : Capacité à vulgariser des concepts techniques complexes pour le support utilisateur. * Savoir-être : Autonomie, rigueur et aisance relationnelle pour évoluer dans un environnement international exigeant.