<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Dear Haskellers,
<div class=""><br class="">
</div>
<div class="">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. </div>
<div class="">
<p class="MsoNormal" style="margin-left: -1pt;">The student will be part of the <i class="">Programming Languages and Systems</i> (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 <span style="line-height: 107%;" class="">13 FTE academic staff, 4 RAs and 12 doctoral students. </span><!--EndFragment-->.</p>
<p class="MsoNormal" style="margin-left: -1pt;"><o:p class=""></o:p></p>
</div>
<div class="">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 <a href="mailto:m.w.wang@kent.ac.uk" class="">m.w.wang@kent.ac.uk</a>.</div>
<div class=""><br class="">
</div>
<div class="">More information can be found at <a href="https://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang-2017.html" class="">https://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang-2017.html</a>.</div>
<div class=""><br class="">
</div>
<div class="">Best wishes,</div>
<div class=""><br class="">
</div>
<div class="">Meng</div>
<div class=""><br class="">
</div>
<div class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Dr. Meng Wang | Lecturer in Computer Science<br class="">
School of Computing, University of Kent </div>
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Canterbury, Kent, CT2 7NF, UK</div>
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<a href="mailto:m.w.wang@kent.ac.uk" class="">m.w.wang@kent.ac.uk</a> | ☎ +44 (0)1227 827699 </div>
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<a href="http://www.cs.kent.ac.uk/~mw516" class="">www.cs.kent.ac.uk/~mw516</a></div>
</div>
</body>
</html>