<div dir="ltr"><div>The Programming Languages Group of Ghent University (UGent) invites applicants for a PhD position on the project Reasoning about Coroutines under the direction of Tom Schrijvers. The project concerns reasoning techniques (like type systems and program analysis) for coroutines in its many forms (like delimited continuations and effect handlers). It is conducted in collaboration with the declarative languages group of KU Leuven university and our international partners. </div>
<div><br></div><div>We seek applicants at an international level of excellence. As a successful applicant, you have a master degree in Computer Science or equivalent. Ideally, you also have a strong, documented interest in doing research. Strong problem-solving and programming skills are essential. Prior knowledge of functional programming, logic programming, type systems or program analysis are an advantage. </div>
<div><br></div><div>The PhD position is for 4 years and starts between January and October 2014. The position is fully funded by the Fund for Scientific Research Flanders (FWO). The salary is compatible with other Belgian PhD rates and among the better ones in Europe and abroad. </div>
<div><br></div><div>You will become part of UGent's dynamic and growing Programming Languages Group. UGent is one of the major universities in the Dutch-speaking region of Europe. It distinguishes itself as a socially committed and pluralistic university in a broad international perspective. Our university is located in the beautiful city of Ghent, which is one of Europe’s greatest discoveries, according to Lonely Planet. </div>
<div><br></div><div>Please direct your inquiries and applications by e-mail to Tom Schrijvers <<a href="mailto:tom.schrijvers@ugent.be">tom.schrijvers@ugent.be</a>>, principal investigator on this project. </div><div>
<br></div><div>To apply, send as soon as possible: </div><div>1) a letter of interest (including motivation relevant to the research topic), </div><div>2) your detailed curriculum vitae (including study curriculum rankings, relevant research experience and publications), </div>
<div>3) your diploma and transcripts (including translation if possible). </div><div><br></div><div>We will determine the start date together with the selected candidate. </div><div><br></div><div>See here for more information: </div>
<div>* <a href="http://users.ugent.be/~tschrijv/phdposition3.html">http://users.ugent.be/~tschrijv/phdposition3.html</a> </div><div>* <a href="http://users.ugent.be/~tschrijv/research.html">http://users.ugent.be/~tschrijv/research.html</a> </div>
<div>* <a href="http://www.ugent.be/en/research/doctoralresearch">http://www.ugent.be/en/research/doctoralresearch</a> </div><div><br></div>-- <br>prof. dr. ir. Tom Schrijvers<br><br>Programming Languages Group<br>Department of Applied Mathematics and Computer Science<br>
University of Ghent<br><br>Krijgslaan 281 S9<br>9000 Gent<br>Belgium<br>Phone: +32 9 264 4805<br><a href="http://users.ugent.be/~tschrijv/" target="_blank">http://users.ugent.be/~tschrijv/</a><br>
</div>