Research Engineer: Infinity-Toposes
Il y a 4 jours
, France
inria
Temps plein
42 000 € - 60 000 € Contrat
Gratuit avec email ou Google
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
Gratuit avec email ou Google
Inria, the French national research institute for the digital sciences, seeks a researcher to join the Picube team at the IRIF lab and the Malinca project. The objective is to develop a dictionary of correspondences between topos theory and type theory, especially between infinity-toposes and the calculus of inductive constructions.
The work will involve independent research, publications or implementations, and participation in proof theory activities at IRIF and nearby labs.
