[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 

We are working in the context of JavaScript, Haskell, OCaml, Scala, and admit 
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 
and tools.


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

Reply via email to