Phd/PostDoc Position at University of Freiburg

    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.

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


    • University degree in computer science or closely related field
    • Motivation to work on abstract theories and put them in practical implementations
    • Fluent English (speech and writing)

    Familiarity with "Types and Programming Languages" and/or "Software Foundations" is helpful as we expect the researcher to apply similar techniques and tools.


    The salary is according to the TV-L E13 scale.

    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.

    Please send your application in PDF format by email to the leader of the programming languages group, Prof. Dr. Peter Thiemann thiemann@informatik. Applications will be considered until the position is filled.

    Informal enquiries about the position may also be sent to Prof. Dr. Peter Thiemann.