2018-04-10 14:53:33 UTC
I am looking for strong candidates with PL background, preferably with demonstrated experience in functional programming and types. Background with OCaml and/or proof assistants (Coq, Agda) is an additional bonus.
JOB DETAILS AND APPLICATION
The salary is according to the TV-L E13 scale of German public service.
The university of Freiburg aims at increasing the number of female employees and thus especially welcomes applications of female candidates.
Applications of disabled candidates will be given priority, depending on their suitability.
Applications in PDF format or informal enquiries by email are welcome. Applications will be considered until the position is filled. The starting date is negotiable.
Check our research webpage http://proglang.informatik.uni-freiburg.de/research/ or the DBLP publication profile http://dblp.dagstuhl.de/pers/hd/t/Thiemann:Peter for more information.