Doctorat en mathématiques et informatique fondamentale (H/F)
Is this the right opportunity for you?
Explore more jobs, compare advertised salaries and see which skills employers want.
Explore this careerSearch for a different role
More Physician jobs →Description
Vos missions en quelques mots Sujet de thèse : Dualité linéaire et effets algébriques supérieurs en théorie des types homotopiques L’objectif de cette thèse sera de définir un cadre unifié, syntaxique et fonctoriel, qui intègre logique linéaire, effets algébriques, et théorie des types homotopiques.
On partira pour cela de l’interprétation sémantique d’un système de types dépendants avec univers Type : Type donné dans le langage de la théorie des domaines.
Il s’agira tout d’abord d’axiomatiser …
Get similar jobs in France by email
We'll email you when new jobs similar to this one appear.
Similar jobs
Explore more Physician jobs in France.
Finding similar jobs…
Adzuna