<div dir="ltr"><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><h2 class="gmail-vacature gmail-ng-binding" id="gmail-54703967" style="box-sizing:inherit;margin-top:0px;margin-bottom:0.8125rem;font-family:"Open Sans",sans-serif;font-weight:700;line-height:1.15;color:rgba(0,0,0,0.87);font-size:1.25rem;letter-spacing:0.05em;text-transform:uppercase;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">PHD POSITION IN FUNCTIONAL PROGRAMMING AND PROGRAMMING LANGUAGE THEORY</h2><p class="gmail-ng-binding" style="box-sizing:inherit;margin-top:0px;margin-bottom:1rem;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">(ref. BAP-2018-431)</p><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px;white-space:pre-line">The group of prof. Tom Schrijvers has expertise in a broad range of topics related to functional programming and programming language theory,
including recent contributions to Haskell's type system and the implementation of algebraic effects and handlers

The group is part of the Declarative Languages and Artificial Intelligence (DTAI) group of the Department of Computer Science, KU Leuven.
The activities of DTAI are centred around research and education in programming languages and artificial intelligence. Other themes of study are in the fields of declarative languages, machine learning, data mining, and knowledge representation. DTAI started in the mid-seventies, closely following the invention of logic programming and became one of the world's leading centres for research in logic programming. Gradually, the scope of its research broadened, including functional programming and more artificial intelligence oriented topics in knowledge representation and machine learning. The use of logic is a common thread to almost all activities.</div></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="box-sizing:inherit;margin-bottom:0px"><a href="https://people.cs.kuleuven.be/~tom.schrijvers/research.html" class="gmail-ng-binding" style="box-sizing:inherit;background-color:transparent;color:rgb(8,159,223);text-decoration:underline;margin-bottom:0px">Website unit</a></span></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><h5 class="gmail-ng-binding gmail-ng-scope" style="box-sizing:inherit;margin-top:1rem;margin-bottom:13px;font-family:inherit;font-weight:700;line-height:1.15;color:inherit;font-size:1.125rem">Project</h5><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px">You will work closely with prof. Schrijvers and his team to conduct research in one or several areas of interest in the field of functional programming and programming language theory.<div style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></div><div style="box-sizing:inherit">Research topics of particular interest are:</div><div style="box-sizing:inherit;margin-bottom:0px"><ul style="box-sizing:inherit;margin-bottom:0px;margin-top:0px"><li style="box-sizing:inherit">type systems</li><li style="box-sizing:inherit">mechanisation of programming language meta-theory</li><li style="box-sizing:inherit">category theoretical foundations of programming languages</li><li style="box-sizing:inherit">monads, continuations, algebraic effects and handlers, ...</li><li style="box-sizing:inherit">recursion schemes and equational reasoning</li><li style="box-sizing:inherit;margin-bottom:0px">DSLs</li></ul></div></div></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><h5 class="gmail-ng-binding gmail-ng-scope" style="box-sizing:inherit;margin-top:1rem;margin-bottom:13px;font-family:inherit;font-weight:700;line-height:1.15;color:inherit;font-size:1.125rem">Profile</h5><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px"><div style="box-sizing:inherit">We are looking for a candidate who exhibits the following qualities:</div><div style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></div><ul style="box-sizing:inherit;margin-bottom:0px;margin-top:0px"><li style="box-sizing:inherit">You are responsible, can work both independently and in a team, show initiative and seize opportunities.<br style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></li><li style="box-sizing:inherit">You can judge the quality of your own work and strive to improve it.<br style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></li><li style="box-sizing:inherit">You are comfortable with both theory and practical implementation.<br style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></li><li style="box-sizing:inherit">You are a good communicator (writing/presenting).<br style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></li><li style="box-sizing:inherit;margin-bottom:0px">You get things done.</li></ul></div></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><h5 class="gmail-ng-binding gmail-ng-scope" style="box-sizing:inherit;margin-top:1rem;margin-bottom:13px;font-family:inherit;font-weight:700;line-height:1.15;color:inherit;font-size:1.125rem">Offer</h5><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px"><div style="box-sizing:inherit">The initial contract is for 1 year and after positive evaluation will be extended to allow completion of a PhD in 4 years.</div><div style="box-sizing:inherit"><br style="box-sizing:inherit;margin-bottom:0px"></div><div style="box-sizing:inherit;margin-bottom:0px">The salary is competitive and the starting date negotiable (ideally September 1 or October 1).</div></div></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><h5 class="gmail-ng-binding gmail-ng-scope" style="box-sizing:inherit;margin-top:1rem;margin-bottom:13px;font-family:inherit;font-weight:700;line-height:1.15;color:inherit;font-size:1.125rem">Interested?</h5><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px">Please include a cover letter and CV in your application; highlight your particular interest and relevant background. For more information please contact Prof. dr. ir. Tom Schrijvers, tel.: +32 16 32 78 30, mail: <a href="mailto:tom.schrijvers@kuleuven.be">tom.schrijvers@kuleuven.be</a>.</div></div><div class="gmail-grid gmail-spacer" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px">You can apply for this job no later than July 04, 2018 via the<span> </span><a href="http://www.kuleuven.be/eapplyingforjobs/light/54703967" class="gmail-ng-binding" style="box-sizing:inherit;background-color:transparent;color:rgb(8,159,223);text-decoration:underline;margin-bottom:0px">online application tool</a></span></div><div class="gmail-grid gmail-spacer gmail-ng-scope" style="box-sizing:inherit;margin-top:20px;color:rgba(0,0,0,0.87);font-family:"Open Sans",sans-serif;font-size:16px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><div class="gmail-ng-binding" style="box-sizing:inherit;margin-bottom:0px">KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at <a href="mailto:diversiteit.HR@kuleuven.be">diversiteit.HR@kuleuven.be</a>.</div></div><br></div></div></div></div>