[TYPES/announce] Doctoral or Post-doctoral position in programming language theory and implementation

Tom Schrijvers tom.schrijvers at cs.kuleuven.be
Fri Sep 23 04:17:00 EDT 2016

Dear all,

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 further questions about the position, get in touch.

prof. dr. ir. Tom Schrijvers

Research Professor
KU Leuven
Department of Computer Science

Celestijnenlaan 200A
3001 Leuven
Phone: +32 16 327 830
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160923/767ffb2c/attachment-0001.html>

More information about the Types-announce mailing list