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

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

?-theories and computable trees

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

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

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

Formalisation of Scheduled Types in Coq

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

Ingénieur informaticien en TAL

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

Ingénieur linguiste

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

Analytic Functors, Combinatorial Species and Lambda-Calculus

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