Stages et thèses

Offres de thèse

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique

(directeur)
(co-encadrant)

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique

(directeur)
(co-encadrant)

Offres de stage

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

Du 12/02/2018 au 11/08/2018
Durée: 6 mois

Analyses de systèmes temps-réel à l’aide de Time4sys et IMITATOR

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

Vérification formelle de Processus Configurables

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

Sélection de variable par biclustering pour les données à forte dimension

Du 05/03/2018 au 04/09/2018
Durée: 6 mois

Apprentissage automatique profond pour l’extraction d’information et d’évènements à partir de texte

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

Visualisation et analyse des données avec les cartes auto-organisatrices sur un cluster.

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

Dependent Types in Realisability Models of Linear Logic

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

Analytic Functors, Combinatorial Species and Lambda-Calculus

Du 01/06/2018 au 30/09/2018
Durée: 4 mois