Ingénieur Langage de Modélisation Automobile — Vérification Formelle

Renault Group à Toulouse recrute pour un poste axé sur le développement et la validation d'un langage de modélisation automobile pour logiciels embarqués. Le candidat travaillera sur la sûreté du code généré selon la norme ISO26262 en collaboration avec des partenaires.

Le rôle implique la création d'un compilateur, l'automatisation de la traçabilité et l'élaboration de preuves formelles concernant le code. C'est une opportunité de 36 mois avec un impact significatif sur les performances du code produit.