[Haskell-cafe] PhD position at Imperial College London

[Wu, Nicolas G]

# PhD Position in Functional Programming: Effect Handlers at Imperial College London

Applications are invited for a PhD student in Functional Programming under the supervision of Dr Nicolas Wu at Imperial College London.

The project aims to enhance the applications of effects and handlers by developing scoped contextual operations and effects. There are two main interrelated topics:

1. Developing the foundations of operations and effects that are confined within a scope and that are sensitive to context, thus widening the applications of effect handlers.
2. Producing efficient implementations and demonstrating applications that allow programmers to combine and use such effects.

Addressing these topics will deliver both theoretical insight to the academic community and practical benefits to software engineers.

To apply for this position, you will need to have a strong background in at least one of the following areas: functional programming, programming language design, compilers, algebraic effects. A working understanding of Haskell is essential.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home, EU and overseas students.

Studentship: Untaxed bursary of £17,009 per annum (2018/19 figure including London weighting plus home/EU fees)

For more details on how to apply, please see the advertisement here:

http://www.imperial.ac.uk/computing/prospective-students/courses/phd/scholarships/#

listed under "PhD Position in Functional Programming: Effect Handlers". Early applications are strongly encouraged. Please be in touch with informal inquiries about the position with Dr Nicolas Wu (n.wu at imperial.ac.uk).