Stages et thèses

Il n’y a pas d’offres de thèse en cours

Offres de stage

Randomised strategies and 0-1 law

May 1

Du 01/05/2018 au 31/07/2018
Durée: 3 mois

?-theories and computable trees

May 1

Du 01/05/2018 au 31/07/2018
Durée: 3 mois

Confluence Randomisée Pour des Réductions aléatoires :

May 1

Du 01/05/2018 au 31/07/2018
Durée: 3 mois

Formalisation of Scheduled Types in Coq

May 1

Du 01/05/2018 au 31/07/2018
Durée: 3 mois

Ingénieur informaticien en TAL

May 1

Du 01/05/2018 au 31/08/2018
Durée: 4 mois

Ingénieur linguiste

May 2

Du 02/05/2018 au 01/09/2018
Durée: 4 mois

Analytic Functors, Combinatorial Species and Lambda-Calculus

Jun 1

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