, au sein de la BU RATP Infrastructures, le groupe VAL,
basé à Val de Fontenay et réalisant des activités liées à l'innovation en vérification.... Développer un outil de preuve formelle
basé sur les outils open source pour qu’ils soient compatibles avec les outils RATP 02... -
Voir cette offre d'emploi