Stages et thèses

Offres de thèse

Data Driven Dial-a-Ride Problem

(directeur)
(co-encadrant)

Offres de stage

Analyse de réseaux de neurones topologiques multi-niveaux

Du 04/02/2019 au 03/04/2019
Durée: 2 mois

Efficient multivariate-Time-Series measures for clustering purpose

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

Formalising Transcendental Syntax

Du 15/03/2019 au 14/09/2019
Durée: 6 mois

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