1 programming-"https:"-"Inserm"-"FEMTO-ST"-"https:"-"https:"-"https:"-"NOVA.id" Postdoctoral positions at CNRS in France

M/F Postdoc in the theory of quantum programming languages at IRIF

CNRS | Paris 13, le de France | France | about 20 hours ago

calculus, type systems, and models for probabilistic programming languages. Permanent members : A. Saurin, T. Ehrhard, C. Faggian, P.-A. Melliès, D. Kesner, G. Bernardi. Where to apply Website https