Descriptif du poste: 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 Profil recherché: 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.