POSTE : Ingénieur Méthodes Formelles H/F DESCRIPTION : Dans le cadre d'un nouveau projet de développement de calculateur avionique, vous serez en charge de faire de l'analyse en appliquant des méthodes formelles sur différentes fonctionnalités logicielles. - Déployer un environnement de preuve. - Réaliser les preuves par l'utilisation de scripts et en analyser les résultats. - Communiquer avec les équipes techniques et les clients. - Suivi des différents environnements de preuves. - Rédaction de la documentation. - Prendre connaissance des cahiers de spécification et dossiers techniques - Rémunération attractive. - Budget de formation et journées dédiées individuels (200€ à 1000€ et 24 à 48 jours par an). - Primes (recommandation, apport d'affaires, placement) et salaire variable selon niveau de responsabilité. - Titre-restaurant. - Communauté de spécialistes (articles techniques, forum de discussion, formations internes, coaching, mentoring). - Filières d'évolution de carrière et accompagnement individuel. - Télétravail (1 à 2 jours par semaine habituellement), RTT, mutuelle, prévoyance santé, 50% de l'abonnement de transport en commun pris en charge. - Séance photo individuelle et professionnelle. PROFIL : Diplômé d'une école d'ingénieur ou équivalent, vous justifiez d'une première expérience dans le domaine de la validation de logiciels de sécurité ou dans la programmation temps-réel avec l'utilisation de méthodes formelles. - Maîtrise du langage C et de CODDA/DCSL. - Domaine de la V&V des logiciels avioniques (DO178C DAL B). - Contexte international, anglais lu, écrit et parlé. - Travail en équipe. - Autonome, avec un esprit de synthèse et une capacité d'analyse et d'écoute.