[Haskell] PhD Position in Functional Programming and Programming Language Theory

[Tom Schrijvers]

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 at 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 at kuleuven.be.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20180627/e72320b8/attachment.html>