1 programming-"https:"-"FEMTO-ST"-"UCL"-"https:"-"https:"-"https:"-"CNRS" 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 3 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