<div dir="ltr"><div>I am looking for a new member to join my research team in either a doctoral or post-doctoral position. </div><div><br></div><div>Research topics of particular interest are:<br></div><div>* type systems</div><div>* functional programming</div><div>* monads, continuations, effect handlers, ...<br></div><div>* mechanisation of programming language meta-theory</div><div>* category theoretical foundations of programming languages</div><div>* constraint logic programming</div><div><br></div><div>For more details and application:</div><div><a href="https://icts.kuleuven.be/apps/jobsite/vacatures/53891815?lang=en">https://icts.kuleuven.be/apps/jobsite/vacatures/53891815?lang=en<br></a></div><div><br></div><div>For questions about the position, get in touch.<br></div><div><br></div><div>-- <br></div><div class="gmail_signature"><div dir="ltr">prof. dr. ir. Tom Schrijvers<div><br></div><div>Research Professor</div><div>KU Leuven</div><div>Department of Computer Science</div><div><br></div><div>Celestijnenlaan 200A</div><div>3001 Leuven</div><div>Belgium</div><div>Phone: +32 16 327 830</div><div><a href="http://people.cs.kuleuven.be/~tom.schrijvers/" target="_blank">http://people.cs.kuleuven.be/~tom.schrijvers/</a><br></div></div></div>
</div>