Offres de stages

Offres de thèse

Analyses formelles de systèmes temps-réel

(directeur)
FRIBOURG Laurent (co-encadrant)

Application-based fault tolerance for numerical linear algebra at large scale

(directeur)
(co-encadrant)

Géométrie de l’Interaction Différentielle et Développement de Taylor

(directeur)
(co-encadrant)

Offres de stage

TUL-4 : numérothèque ou chronothèque

Du 28/05/2018 au 27/06/2018
Durée: 1 mois

Projet TUL-4-LIPN

Du 28/05/2018 au 27/06/2018
Durée: 1 mois

Analyse et utilisation de super-monades

Du 30/05/2018 au 29/07/2018
Durée: 2 mois

Analytic Functors, Combinatorial Species and Lambda-Calculus

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

Développement du module de gestion de stagiaires pour une application de gestion de laboratoire

Du 01/06/2018 au 31/07/2018
Durée: 2 mois

Développement du module de gestion de thèses pour une application de gestion de laboratoire

Du 01/06/2018 au 31/07/2018
Durée: 2 mois

Développement du module de gestion des publications scientifiques pour une application de gestion de laboratoire

Du 01/06/2018 au 31/07/2018
Durée: 2 mois