<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<br>
+-----------------------------------------------------------+<br>
<br>
Fully-Funded PhD Studentships<br>
<br>
School of Computing<br>
University of Kent, UK<br>
<br>
<a href="https://urldefense.com/v3/__https://tinyurl.com/kent-2025__;!!IBzWLUs!TDrc6wwZ4Xfy05lxVOrFuOv_OgSNsvdCwVQYtQrgF0apc_pghR2zTkwChAf5_PIoxYV3qv7iZlwEdsAa_bm01V57n9RWUjr7sIRC6Q$">https://tinyurl.com/kent-2025</a><br>
<br>
+-----------------------------------------------------------+<br>
<br>
The Programming Languages and Systems (PLAS) group at the University<br>
of Kent’s School of Computing invites applications for 3.5-year PhD scholarships<br>
(fully funded for both UK and international students). The PLAS group is a<br>
diverse community of researchers exploring all aspects of programming<br>
languages, spanning from theory to applications.<br>
<br>
Applications are due by the 15th February 2025.<br>
<br>
These scholarships include tuition fees plus a combined maintenance grant and salary <br>
equivalent to the Research Councils UK National Minimum Doctoral Stipend <br>
(currently at £19,237 for 2023/24) for the first three years followed by fees and <br>
maintenance grant for a further six months. Scholars also receive fee-paid teacher <br>
in Higher Education training through the Associate Fellowship Scheme.<br>
<br>
If you are interested in applying, please contact a potential supervisor (see<br>
list below) as soon as possible, and at least two weeks prior to the closing<br>
date. If the supervisor wishes to support your application, they will direct you<br>
to make an official application through the KentVision system.<br>
<br>
Submit your formal applications through the university admission system by the<br>
15th February. Your application should include a completed online admission<br>
form; the name and contact details of two referees; an original document<br>
providing confirmation of your degree (or a transcript if the degree is not yet<br>
awarded). For non-native English speakers, a certificate of competence in<br>
English is required at IELTS 6.0 or higher, with no element less than 5.5 (or<br>
equivalent).<br>
<br>
Programming Languages and Systems Group:<br>
<a href="https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/__;!!IBzWLUs!TDrc6wwZ4Xfy05lxVOrFuOv_OgSNsvdCwVQYtQrgF0apc_pghR2zTkwChAf5_PIoxYV3qv7iZlwEdsAa_bm01V57n9RWUjp8MBptAQ$">https://research.kent.ac.uk/programming-languages-systems/</a><br>
<br>
Topics suggested by our group:<br>
<a href="https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/__;!!IBzWLUs!TDrc6wwZ4Xfy05lxVOrFuOv_OgSNsvdCwVQYtQrgF0apc_pghR2zTkwChAf5_PIoxYV3qv7iZlwEdsAa_bm01V57n9RWUjrrMWbpkA$">https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/</a><br>
<br>
Application process, requirements and general enquires:<br>
<a href="https://urldefense.com/v3/__https://www.kent.ac.uk/courses/postgraduate/283/computer-science__;!!IBzWLUs!TDrc6wwZ4Xfy05lxVOrFuOv_OgSNsvdCwVQYtQrgF0apc_pghR2zTkwChAf5_PIoxYV3qv7iZlwEdsAa_bm01V57n9RWUjrhNuQ-7w$">https://www.kent.ac.uk/courses/postgraduate/283/computer-science</a><br>
<br>
PLAS is a large research group with potential supervisors who work across the<br>
breadth of programming languages and systems research.<br>
<br>
- Mark Batty - Concurrency; relaxed memory; semantics and memory safety<br>
- Laura Bocchi - Formal verification; concurrency; real-time and Web APIs<br>
- David Castro-Perez - Cost analysis of concurrent and distributed systems; certified DSLs; session types;<br>
- Olaf Chitil - Tracing, semantics; algorithmic debugging; type error debugging; compilation<br>
- Rogerio De Lemos - Self-adaptive software systems and operational-time processes<br>
- Andy King - Abstract interpretation; decompilation and computer algebra<br>
- Stefan Marr - Language implementation, interpreters and compilers; concurrency; parallel programming; debugging;<br>
- Dominic Orchard - Linear and graded type theories, programming languages and systems for computational science, logic and semantics<br>
- Marco Paviotti - Category theory; semantics; type theory; functional programming<br>
- Vineet Rajani - Logic and verification; security properties; resource analysis and probabilistic programs<br>
- Michael Vollmer - Haskell; compilers; functional programming and parallel programming<br>
<br>
In the QS World University Rankings, the University of Kent is consistently placed <br>
within the top 25% of Higher Education Institutions globally.<br>
<br>
Kent's campus is based atop a scenic hill with a stunning view of the historic<br>
city of Canterbury, a designated World Heritage Site and host of the<br>
cathedral of the Archbishop of Canterbury.<br>
<br>
The campus offers diverse housing options within its colleges with a 30-minute<br>
walking distance from the city. Commuting options include biking or public<br>
transport via bus. Canterbury is in a most advantageous location offering quick<br>
access to London with just a 55-minute train ride, and European travel is within<br>
reach via the Eurostar train or by car.<br>
<br>
+-----------------------------------------------------------+
</body>
</html>