Stages et thèses

Offres de thèse

Data Driven Dial-a-Ride Problem

(directeur)
(co-encadrant)

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

(directeur)

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

(directeur)

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

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

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

Automatic Machine Learning Methods For Clustering

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

Scalable Time Series Analysis

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

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

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

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

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

Factorisation matricielle non négative quantique

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

The mathematisation of algorithmics

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

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

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