Ingénieur Méthodes Formelles H/F (Paris / Aix-en-Provence)
Ingénieur Test Logiciel Système Sécuritaire
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)
POSTULER
L’absence de réponse à certaines questions est susceptible de compromettre le bon suivi de votre candidature.
Les informations recueillies sur ce formulaire sont enregistrées dans un fichier informatisé par Systerel, 1090 rue René Descartes, 13100 Aix en Provence, responsable du traitement ayant pour finalité le suivi de votre candidature.
Seules les personnes habilitées de Systerel pourront accéder à vos données à des fins strictement internes.
Vos données seront traitées de façon confidentielle et conservées pour une durée maximale de 24 mois.
Vous pouvez accéder aux informations vous concernant, les rectifier ou demander leur effacement en vous adressant à communication@systerel.fr.