Stages et thèses

Offres de thèse

Data Driven Dial-a-Ride Problem

Apr 15

(directeur)
(co-encadrant)

L’Apprentissage Artificiel au service de la qualité de données : détection de contraintes

May 2

(directeur)

Vers une sémantique complètement adéquate de l’appel-par-valeur, à l’aide de la logique linéaire différentielle

Sep 1

(directeur)

Offres de stage

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

Détection robuste de malwares par des techniques de model-checking

Apr 1

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

Automatic Machine Learning Methods For Clustering

Apr 1

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

Scalable Time Series Analysis

Apr 1

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

Développement et implémentation du module de gestion des professeurs invités pour le LIPN et le BRED-Université Paris 13

Apr 1

Du 01/04/2019 au 30/06/2019
Durée: 3 mois

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

Apr 1

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

Apprentissage collaboratif dans le cadre de la théorie du transport optimal

Apr 2

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

Factorisation matricielle non négative quantique

Apr 2

Du 02/04/2019 au 01/09/2019
Durée: 5 mois

The mathematisation of algorithmics

Jun 24

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

Développement d’un algorithme de clustering bio inspiré ANT-TREE

Jul 1

Du 01/07/2019 au 31/08/2019
Durée: 2 mois