I am looking for a new member to join my research team in either a doctoral or post-doctoral position. 

Research topics of particular interest are:

* type systems

* functional programming

* monads, continuations, effect handlers, ...

* mechanisation of programming language meta-theory

* category theoretical foundations of programming languages

* constraint logic programming

For more details and application:

For questions about the position, get in touch.

--