[TYPES/announce] Two Phd/PostDoc positions, Freiburg University

[Peter Thiemann]

The programming languages group at University of Freiburg, Germany, has openings for researchers to work with Prof Peter Thiemann on DFG-funded projects. One project deals with inferrable resource typing, where the goal is a system that combines Rust-style borrowing and typestate with type inference. Session typing is a special instance of the system. The other project develops new approaches to infer and verify TypeScript signatures from JavaScript sources. Both projects involve a combination of theory (formal models, mechanized metatheory, and logics) and practical work (implementation and validation by case studies), but the emphasis can be negotiated. 

JOB DETAILS AND APPLICATION

The salary is according to the TV-L E13 scale of the 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 to thiemann at informatik.uni-freiburg.de are welcome. The application deadline is June 30, but applications will be considered until the position is filled. The starting date is negotiable, but preferably no later than October 1, 2019.

Check out 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.