poste Intitulé du poste Stage - Ingénieur-e
logiciel - Spécification et vérification formelles d'algorithmes en TLA+ F/H... les évolutions possibles et les propriétés souhaitées d'un système,
logiciel ou matériel. Associé à un model checker (TLC... -
Voir cette offre d'emploi