Ingénieur méthodes formelles h/f

Les missions du poste

LH&TECH est une société de conseil en ingénierie et recrutement toulousaine, spécialisée dans le logiciel embarqué intelligent, connecté et sécurisé.

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.

Vos responsabilités incluent :

1. Déployer un environnement de preuve.
2. Réaliser les preuves par l'utilisation de scripts et en analyser les résultats.
3. Communiquer avec les équipes techniques et les clients.
4. Suivi des différents environnements de preuves.
5. Rédaction de la documentation.
6. Prendre connaissance des cahiers de spécification et dossiers techniques.


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

Compétences requises :

1. Maîtrise du langage C et de CODDA/DCSL.
2. Domaine de la V&V des logiciels avioniques (DO178C DAL B).
3. Contexte international, anglais lu, écrit et parlé.
4. Travail en équipe.
5. Autonome, avec un esprit de synthèse et une capacité d'analyse et d'écoute.


Mais aussi...

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

#J-18808-Ljbffr