Ingénieur méthodes formelles h/f

Missions

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

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.

Missions

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

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.

Infos complémentaires

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

Description Entreprise

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

LH&TECH Recruitment est un cabinet de recrutement expert des secteurs pénuriques. Nous accompagnons nos candidats qui privilégient des opportunités au sein de startups, PME, ETI et grands Groupes industriels. Nous proposons à nos clients de bénéficier de notre maîtrise du marché des ingénieurs en logiciel embarqué de Toulouse et ses environs.

LH&TECH Consulting a pour vocation de faire grandir nos collaborateurs en favorisant un écosystème stimulant. Nous sommes convaincus qu'une société de conseil en ingénierie peut répondre à nos enjeux humains et technologiques :

* Nos enjeux humains : le monde du travail évolue vite. Nous souhaitons plus de flexibilité (télétravail, poste en full remote), avoir le sentiment que notre travail a du sens, qu'il soit une source d'inspiration, de gratification et favorise la création d'un groupe soudé. Nous avons créé une communauté bienveillante, où le temps et le financement de la formation sont un droit et un devoir ; où son plan individuel d'évolution de carrière stimule est un contrat signé avant l'arrivée dans l'entreprise ; et enfin, où le partage du savoir-faire et de la valeur est au coeur de notre entreprise.
* Nos enjeux technologiques : les systèmes embarqués permettent de connecter le Digital à notre monde physique. Ils sont incontournables pour nous apporter des services de plus en plus proches de notre quotidien, nos usages et nos besoins. Nous les rendrons de plus en plus SMART, à condition qu'ils soient intelligents, connectés et sécurisés.

Si vous souhaitez relever ses enjeux avec nous, alors rejoignez-nous !


Ingénieur Méthodes & Industrialisation H/F

Villeneuve-lès-Bouloc, Occitanie, France 3 weeks ago


INGENIEUR QUALITE ET METHODES LOGICIELLES (H/F)


INGÉNIEUR QUALIFICATION ET VALIDATION PRODUIT & PROCEDE AERONAUTIQUE H/F


Ingénieur Qualification et Validation Produit & Procede Aeronautique H/F


Ingénieur Méthodes et Industrialisation H/F


Ingénieur Support Méthodes - Aéronautique - Toulouse, France (H/F)


Ingénieur Méthodes & Industrialisation F/H


Ingénieur Méthodes et Industrialisation (H/F)


Ingénieur méthodes et industrialisation (H/F)


Ingénieur fluides et procédés industriels F/H


CDI - Ingénieur d'Etudes et Production Secteur Chimie H/F


Ingénieur Méthodes et préparateur d’Industrialisation (H/F)


Ingénieur Méthodes & Industrialisation – Secteurs Aéronautique, Spatial & Défense


Ingénieur méthodes F/H - Synergie Colomiers


Ingénieur méthodes industrialisations H/F


Process Engineer (Downstream), New Product Introduction - All genders // Ingénieur Bioprocédés (Purification), Introduction de Nouveau Produit – H/F


Process Engineer (Upstream), New Product Introduction - All genders // Ingénieur Bioprocédés (Culture Cellulaire), Introduction de Nouveau Produit – H/F


Ingénieur méthodes et Industrialisation électronique F/H - 062025/RSC/ERZ


INGENIEUR QUALITE ET METHODES LOGICIELLES (H/F) - AIRBUS PROTECT SAS


Stage Innovation : Ingénieur Génie Mécanique / Fabrication additive


Ingénieur Méthodes Industrialisation F/H


Ingénieur qualité projet H/F - 062025/QUALITE/ERZ


Ingénieur procédés (H/F), anglais courant - CRIT L'UNION


Alternance Ingénieur Méthodes pour préparer un diplôme d'Ingé Mécanique - Toulouse (31) - F/H

#J-18808-Ljbffr