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

[Tom Schrijvers]

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

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
Belgium
Phone: +32 16 327 830
http://people.cs.kuleuven.be/~tom.schrijvers/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160923/767ffb2c/attachment-0001.html>