<div dir="ltr">Dear all,<br><br>I have an opening for a 4 year PhD position in the Programming Languages Group at Delft University of Technology.<br><br>The PhD position is about defining and implementing typed programming languages in a modular way.<br><br>The ideal candidate will have experience with one or more of the following topics:<br>- functional programming<br>- monads and/or algebraic effects and handlers<br>- programming language engineering (interpreters/compilers/type checkers/...)<br><br>The full ad (link below) contains suggestions for topics that can be explored as part of the PhD.  But the topic is not limited to the suggestions in the ad.  Get in touch if you are interested in doing research on defining and implementing typed programming languages, modularly.<br><br><a href="https://www.academictransfer.com/en/298133/phd-position-dynamic-semantics-specification/">https://www.academictransfer.com/en/298133/phd-position-dynamic-semantics-specification/</a><br><br>The deadline for application is 2 June 2021, and the ideal start date is around September.<br><br>Best regards,<br><br>Casper Bach Poulsen<br>Assistant Professor, Delft University of Technology<br><a href="http://casperbp.net">http://casperbp.net</a><br></div>