et au transfert industriel de différentes technologies de
vérification formelle d'analyse de programmes, pour en assurer... poste, nous nous intéressons à des mécanismes de
vérification qui visent à assurer, a priori, que l'exécution d'un programme quantique sera... -
Voir cette offre d'emploi