Offres de stages

Il n’y a pas d’offres de thèse en cours

Offres de stage

Toward graded arrows and graded profunctors

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

Semantics of Dependent Linear Type Systems

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

Formalisation of Scheduled Types in Coq

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

Combiner SOG et Réduction d’Ordre Partiel pour Une Vérification Efficace de la Logique LTL

Du 01/04/2019 au 30/09/2019
Durée: 6 mois

The mathematisation of algorithmics

Du 24/06/2019 au 23/09/2019
Durée: 3 mois