Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.

Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, financiers ou pour l’environnement.

Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l’envie d’apprendre dans un environnement stimulant et innovant.

Notre croissance offre de réelles opportunités d’évolution dans une structure à taille humaine.

POSTE ET MISSION

La spécialisation « méthodes formelles » repose en premier lieu sur la maîtrise d’une approche « Model Based Development » mettant en œuvre des techniques formelles de modélisation et de preuve.

Ainsi, au sein de l’activité Modélisation et Preuves, vous participerez aux missions suivantes :

• Réaliser les activités des projets de développement, d’amélioration continue ou de recherche internes utilisant les méthodes formelles.
• Suivre les développements des méthodes formelles et proposer des utilisations qui améliorent les objectifs de Qualité Coût et Délais.
• Définir les processus des utilisations des méthodes formelles conformes aux normes ferroviaires.

Vous aurez à appliquer des méthodes de travail rigoureuses.

A chaque étape, vous serez encadré(e) par un expert qui vous aidera à appréhender les spécificités des développements critiques utilisant les méthodes formelles et des normes associées.

PROFIL

• Ingénieur de formation grandes écoles ou universités, vous avez une première expérience (stages compris) dans un poste similaire.
• Idéalement vous connaissez la méthode B, le Model-Checking ou d’autres techniques formelles.
• Vous êtes complètement à l’aise avec l’anglais technique.
• Vous êtes rigoureux(se), curieux(se) et avez le goût du challenge.

Vous souhaitez 

• Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.
• Bénéficier d’un encadrement de qualité.
• Développer des compétences recherchées et en évolution permanente.

Alors n’hésitez pas, contactez-nous !

TYPE DE CONTRAT

CDI

LIEU

Paris ou Aix-en-Provence

REFERENCE DE L’OFFRE

• SYST_METH_FORM_P (pour le poste sur Paris)
• SYST_METH_FORM_A (pour le poste sur Aix-en-Provence)