222 development "https:" "https:" "https:" "UCL" research jobs at CNRS

Sort by: relevance | listed |

Enter an email to receive alerts for development "https:" "https:" "https:" "UCL" positions

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

CNRS | Paris 13, le de France | France | 2 months 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
Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | 2 months ago

research focuses on fundamental questions in automata theory on the one hand, and on algorithmic questions arising from concrete problems on the other. Where to apply Website https://emploi.cnrs.fr/Candidat

Enter an email to receive alerts for development "https:" "https:" "https:" "UCL" positions