[Haskell] Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation

[Tom Schrijvers]

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:
https://icts.kuleuven.be/apps/jobsite/vacatures/53891815?lang=en

For questions about the position, get in touch.

-- 
prof. dr. ir. Tom Schrijvers

Research Professor
KU Leuven
Department of Computer Science

Celestijnenlaan 200A
3001 Leuven
Belgium
Phone: +32 16 327 830
http://people.cs.kuleuven.be/~tom.schrijvers/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20160919/230c9530/attachment.html>