I am seeking a PhD student on Haskell-related projects, particularly in the area of bidirectional programming (lenses), property-based testing (QuickCheck) and refactoring. This would be a good opportunity for someone who is interested in applying Haskell
ideas to real problems.
The student will be part of the Programming Languages and Systems (PLAS) group in the School of Computing at the University of Kent. A major focus within the group is functional programming (FP),
where it has had an international reputation for more than twenty five years. The group currently has 13 FTE academic staff, 4 RAs and 12 doctoral students. .
The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2017 starting, the application deadline is 7 April 2017. If you are interested, please contact me at [hidden email].