1 assistant-professor-computer-"https:"-"https:"-"https:"-"https:"-"https:" PhD positions at CNRS

PhD student in computer science: set-theoretic types for dynamic languages (M/F)

CNRS | Paris 13, le de France | France | 1 day ago

. Experience with OCaml, Haskell, or a proof assistant is a plus; Elixir and Erlang are not required. Scientific English; French is not required. Where to apply Website https://emploi.cnrs.fr/Offres/Doctorant