Stages et thèses

Offres de thèse

Data Driven Dial-a-Ride Problem

Apr 15

(directeur)
(co-encadrant)

Offres de stage

Analyse de réseaux de neurones topologiques multi-niveaux

Feb 4

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

Efficient multivariate-Time-Series measures for clustering purpose

Mar 1

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

Formalising Transcendental Syntax

Mar 15

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

Toward graded arrows and graded profunctors

Apr 1

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

Semantics of Dependent Linear Type Systems

Apr 1

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

Formalisation of Scheduled Types in Coq

Apr 1

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