The programming languages group at University of Freiburg, Germany, has an 
opening for a research assistant to work on a DFG-funded project to create a 
version of OCaml with linear types and session types to start on July 1, 2018. 
The project entails work on the theory and on an implementation with the 
weighting adjusted according to the candidate’s profile, which would ideally 
complement the current group members. The position can be filled with a PhD 
student or with a PostDoc and we welcome applications of either kind.

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. 


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 

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 
or the DBLP publication profile for more information.

Best regards
-Peter Thiemann

Haskell mailing list

Reply via email to