[ The Types Forum (announcements only),
Starting in October 2017, the programming languages group at University of
Freiburg, Germany, has an opening for a research assistant to work with Prof.
Dr. Peter Thiemann. This position can be filled with a graduate working towards
a PhD or with a PostDoc and it involves a light amount of teaching. We welcome
applications of either kind.
The overall research theme of the group is to explore the boundaries of static
and dynamic checking of program properties, in particular types.
• Theoretical and practical aspects of typed programming, for example
session types, gradual typing, dependent types, type-based program analysis
• Language-based security, in particular hybrid information-flow
• Runtime verification and contract checking
the occasional excursion to Java and Go. We collaborate with leading
researchers worldwide. Check our research webpage
http://proglang.informatik.uni-freiburg.de/research/ or DBLP publication
profile http://dblp.dagstuhl.de/pers/hd/t/Thiemann:Peter for more information.
• University degree in computer science or closely related field
• Motivation to work on abstract theories and put them in practical
• Fluent English (speech and writing)
Familiarity with “Types and Programming Languages” and/or “Software
Foundations” is helpful as we expect the candidate to apply similar techniques
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
Please send your application in PDF format by email to the leader of the
programming languages group, Prof. Dr. Peter Thiemann
<thiem...@informatik.uni-freiburg.de>. Applications will be considered until
the position is filled.
Informal enquiries about the position may also be sent to
Prof. Dr. Peter Thiemann