<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><div class=""><br class=""></div><div class=""><div class="">The Programming Languages and Systems (PLAS) group at the University of Kent's School of Computing invites applications for 12 fully-funded 3-year PhD scholarships (for UK/EU students).<br class=""><br class="">Applications are due by the 26th April 2019.<br class=""><br class="">The PLAS group is one of the largest programming languages research groups in Europe. It is currently ranked 17th worldwide by the independent CSrankings website: <a href="http://csrankings.org/#/index?plan&world" class="">http://csrankings.org/#/index?plan&world</a>.<br class=""><br class="">We provide a supportive environment for research and we have a vibrant postgraduate population. We encourage our students to engage with the wider research community through attending conferences and taking internships with leading industrial companies. We are located in Canterbury, a lively and cosmopolitan historic town with convenient travel links to London and Europe.<br class=""><br class="">You can apply to study for a PhD in any topic that falls within our range of expertise. We have studentships up to a value of £19,945 per annum that are available by competition.<br class=""><br class="">Application process:<br class="">Select a potential supervisor (see below) and send them an informal project proposal as well as a brief CV (preferably by the first week of April 2019). Staff contact details can be found on their web pages.<br class="">Submit your formal applications through the university admission system by the 26th April 2019. Your application should include a completed online admission form; the name and contact details of two referees; an original document providing confirmation of your degree (or a transcript if the degree is not yet awarded). For non-native English speakers, a certificate of competence in English is required at IELTS 6.5 or higher, with no element less than 6.0 (or equivalent).<br class=""><br class="">Programming Languages and Systems Group:<br class=""><a href="https://www.cs.kent.ac.uk/research/groups/plas/index.html" class="">https://www.cs.kent.ac.uk/research/groups/plas/index.html</a><br class=""><br class="">Topics suggested by our group<br class="">https://www.cs.kent.ac.uk/research/groups/plas/pgprojects.html<br class=""><br class="">Applications process:<br class="">https://www.cs.kent.ac.uk/research/studyingforaphd/howtoapply.html<br class=""><br class="">For general inquiries about the process, please e-mail: cs-phd-plas@kent.ac.uk.<br class=""><br class="">PLAS is a large research group with potential supervisors who work across the breadth of programming languages and systems research.<br class=""><br class="">*Dr Mark Batty*<br class="">(Additional scholarship: https://www.cs.kent.ac.uk/people/staff/mjb211/studentship/studentship.htm)<br class="">Concurrency; software verification; systems; relaxed memory; programming language semantics; GPU concurrency.<br class=""><br class="">*Dr Laura Bocchi*<br class="">Foundations and engineering of API with complex behaviour, verification of distributed concurrent systems; behavioural types; real-time systems; transactions and transaction protocols.<br class=""><br class="">*Dr Olaf Chitil*<br class="">Tracing, semantics, algorithmic debugging, type error debugging, compilation and functional programming.<br class=""><br class="">*Dr Radu Grigore*<br class="">Program analysis; runtime verification; probabilistic models of computation.<br class=""><br class="">*Dr Rogerio de Lemos*<br class="">Software engineering for self-adaptive systems: assurances and resilience evaluation; architecting resilient systems.<br class=""><br class="">*Prof. Richard Jones*<br class="">Language implementation; memory management; garbage collection; object demographics; program analysis for improved memory management; program visualisation, rigorous performance evaluation.<br class=""><br class="">*Dr Stefan Kahrs*<br class="">Expressiveness of programming languages, type systems, term rewriting, infinitary rewriting.<br class=""><br class="">*Dr Stephen Kell*<br class="">Language implementation, tools, interoperability, runtimes and operating systems.<br class=""><br class="">*Prof. Andy King*<br class="">Abstract interpretation, logic programming, decompilation and reverse engineering<br class=""><br class="">*Dr Julien Lange*<br class="">Process calculi, automata theory, behavioural types, model checking and their application to the implementation and verification of concurrent and distributed systems.<br class=""><br class="">*Dr Stefan Marr*<br class="">Language implementation techniques, concurrency, parallel programming, optimizations, tooling, debugging, virtual machines, interpreters, compilation.<br class=""><br class="">*Dr Matteo Migliavacca*<br class="">On-line data processing, distributed publish-subscribe, and high-performance event processing in large scale and cloud scenarios.<br class=""><br class="">*Dr Dominic Orchard*<br class="">Mathematical structure of programs; logical foundations of programming; categorical semantics; behavioural type theories; programming language design; program verification for computational science.<br class=""><br class="">*Dr Scott Owens*<br class="">Semantics of shared memory concurrency; design of programming languages; formal verification for software and interactive theorem proving, especially for CakeML (https://cakeml.org).<br class=""><br class="">*Dr Tomas Petricek*<br class="">Programming languages and tools, especially for data science, studying interactions of programming, bridging the gap between data and types; foundations of programming in a broad sense, including design and human experience; philosophy and history of computing and programming.<br class=""><br class="">*Prof. Simon Thompson*<br class="">Functional programming in Haskell, Erlang and OCaml; refactoring functional programs: tool building. theory and practice: dependently-typed functional programming; DLT: languages for smart contracts on blockchains, including Marlowe on Cardano.<br class=""><br class=""><br class=""></div></div><div class=""><br class=""></div></div><br class=""><div class="">
<div class=""><span style="font-family: LucidaGrande;" class="">Simon Thompson | Professor of Logic and Computation </span><br style="font-family: LucidaGrande;" class=""><span style="font-family: LucidaGrande;" class="">School of Computing | University of Kent | Canterbury, CT2 7NF, UK</span><br style="font-family: LucidaGrande;" class=""><a href="mailto:s.j.thompson@kent.ac.uk" style="font-family: LucidaGrande;" class="">s.j.thompson@kent.ac.uk</a><span style="font-family: LucidaGrande;" class=""> | M +44 7986 085754 | W </span><a href="http://www.cs.kent.ac.uk/~sjt" style="font-family: LucidaGrande;" class="">www.cs.kent.ac.uk/~sjt</a></div>

</div>
<br class=""></body></html>