Offres de stages

Offres de thèse

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique

(directeur)
(co-encadrant)

Offres de stage

Analyses de systèmes temps-réel à l’aide de Time4sys et IMITATOR

Du 01/03/2018 au 31/08/2018
Durée: 6 mois

Dependent Types in Realisability Models of Linear Logic

Du 02/04/2018 au 01/08/2018
Durée: 4 mois

Analytic Functors, Combinatorial Species and Lambda-Calculus

Du 01/06/2018 au 30/09/2018
Durée: 4 mois