<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<div class="">Dear Haskell Cafe,</div>

<div class=""><br class="">

</div>

Are you a highly motivated individual with a passion for programming languages and theory? Do you hold a master's degree in computer science or a related field and have a proven academic track record? If so, we invite you to apply for the PhD Position in Programming

 Languages at KU Leuven. In this position, you will join the team of Professor Tom Schrijvers, which has a strong reputation in programming language research, covering topics such as functional programming, domain-specific languages, and equational reasoning.

 Your research will focus on multi-stage programming and computational effects, with the aim of developing a formal calculus for multi-staging with support for algebraic effects and handlers. You will benefit from a competitive monthly stipend, an exciting

 interdisciplinary research environment, and the opportunity to attend international conferences and collaborate with international partners. Apply now and advance the state-of-the-art in programming language research.

<div class=""><br class="">

</div>

<div class="">For more information and applications, see:</div>

<div class=""><a href="https://www.kuleuven.be/personeel/jobsite/jobs/60203785?hl=en&lang=en" class="">https://www.kuleuven.be/personeel/jobsite/jobs/60203785?hl=en&lang=en</a></div>

<div class=""><br class="">

</div>

<div class="">Best,</div>

<div class=""><br class="">

</div>

<div class="">Tom Schrijvers</div>

<div class=""><br class="">

</div>

<div class=""><br class="">

</div>

</body>

</html>