Offres de stages

Offres de thèse

Modélisation et vérification formelles de contraintes de vol

(directeur)
(co-encadrant)

Offres de stage

Structured Musical Improvisation using Formal Methods

Du 02/09/2019 au 01/12/2019
Durée: 3 mois