Nous recrutons pour l’un de nos clients spécialisé dans les études, la conception et l’intégration de systèmes électroniques et logiciels embarqués à forte contrainte en sûreté de fonctionnement dans les secteurs industriels et notamment le transport, la défense, l’aéronautique, …

UN INGENIEUR METHODES FORMELLES H/F

Notre client, est spécialisé en ingénierie des systèmes fiables et :

– Réalise des projets industriels intégrant l’utilisation d’une méthode formelle,
– Développe les outils liés à l’industrialisation de la méthode B : AtelierB,
– Participe à des projets de recherche et développement dans le domaine du formel,
– Est centre de compétences et de formation sur la méthode B.

Nous recherchons de nouveaux collaborateurs H/F motivés par les challenges techniques et les petites structures réactives.

Intégré à notre équipe de spécialistes, vous participez à des projets de modélisation formelle ou de développement formel des logiciels. Les prestations peuvent être réalisées dans nos locaux ou directement chez de grands industriels ou donneurs d’ordre.

Ingénieur de formation Bac + 5, grandes écoles, vous avez une première expérience dans un poste similaire et connaissez le développement et l’utilisation de méthodes formelles.

Rejoignez cette PME, leader de la méthode formelle B et innovante qui vous offre de réelles opportunités d’évolution.

Vous bénéficierez d’un package de rémunération attractif.

Nous vous remercions de bien vouloir nous faire parvenir votre candidature avec la référence INGEMETHCL par mail (de préférence en format pdf), à l’adresse candidature@walson-rh.com.
Tous les dossiers seront traités en toute confidentialité.