Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation

Tom Schrijvers-2
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.

-- 
prof. dr. ir. Tom Schrijvers

Research Professor
KU Leuven
Department of Computer Science

Celestijnenlaan 200A
3001 Leuven
Belgium
Phone: +32 16 327 830

_______________________________________________
Haskell mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell