Titre du poste
Ingénieur Méthodes Formelles F/H
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
Qualifications
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.
Organisme employeur
Type de poste
Temps plein
Secteur
CONSEIL EN SYSTÈMES ET LOGICIELS INFORMATIQUES
Lieu du poste
TOULOUSE, 31555, France
Salaire de base
37000€-45000€ Par an
Date de publication
30 août 2024 à 19:02
Valide jusqu’au
29 septembre 2024 à 00:00
Exportation PDF
Offre terminée le 29 septembre 2024 à 00:00
