PHD POSITION IN FUNCTIONAL PROGRAMMING AND PROGRAMMING LANGUAGE THEORY (ref. BAP-2018-431) 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. Website unit <https://people.cs.kuleuven.be/~tom.schrijvers/research.html> Project 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. Research topics of particular interest are: - type systems - mechanisation of programming language meta-theory - category theoretical foundations of programming languages - monads, continuations, algebraic effects and handlers, ... - recursion schemes and equational reasoning - DSLs Profile We are looking for a candidate who exhibits the following qualities: - You are responsible, can work both independently and in a team, show initiative and seize opportunities. - You can judge the quality of your own work and strive to improve it. - You are comfortable with both theory and practical implementation. - You are a good communicator (writing/presenting). - You get things done. Offer The initial contract is for 1 year and after positive evaluation will be extended to allow completion of a PhD in 4 years. The salary is competitive and the starting date negotiable (ideally September 1 or October 1). Interested? 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: tom.schrijvers@kuleuven.be. You can apply for this job no later than July 04, 2018 via the online application tool <http://www.kuleuven.be/eapplyingforjobs/light/54703967> 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 diversiteit.HR@kuleuven.be.