Ingénieur Méthodes Formelles Aix-en-Provence F/H

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 du département Modélisation et Preuve, 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é 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.


- 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, curieux et avez le goût du challenge.
Rejoindre Systerel, c'est :

- Adhérer à des valeurs telles qu'excellence, engagement, bienveillance et équité,
- Un parcours professionnel personnalisé et évolutif : parrainage, mobilité interne, formations...
- Un package de rémunération et des avantages attractifs : 27 jours de congés, RTT, intéressement, plan d'épargne d'entreprise, compte épargne temps, pack famille, tickets restaurant,
- Du télétravail et une véritable recherche d'équilibre vie pro / vie perso,
- Un engagement RSE fort.
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 plus à nous faire parvenir votre candidature !

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, d'impact financier ou environnemental.
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.
Systerel est engagée dans une politique en faveur de l'égalité hommes-femmes et de l'emploi des travailleurs en situation de handicap.