<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="">
Dear all,
<div class=""><br class="">
</div>
<div class="">The School of Computing at University of Kent (UK) has a number of PhD scholarships available. See the advert below. </div>
<div class="">PL proposals are strongly encouraged! </div>
<div class=""><br class="">
</div>
<div class="">Best, </div>
<div class="">Marco</div>
<div class=""><br class="">
+-----------------------------------------------------------+<br class="">
<br class="">
Fully-Funded PhD Studentships<br class="">
<br class="">
School of Computing<br class="">
University of Kent, UK<br class="">
<br class="">
<a href="https://urldefense.com/v3/__https://tinyurl.com/phd-kent__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WF13OEXWQ$" class="">https://tinyurl.com/phd-kent</a><br class="">
<br class="">
+-----------------------------------------------------------+<br class="">
<br class="">
The Programming Languages and Systems (PLAS) group at the University of Kent's<br class="">
School of Computing invites applications for 3.5-year PhD<br class="">
scholarships (fully funded for both UK and international students).<br class="">
<br class="">
Applications are due by the 5th March 2023.<br class="">
<br class="">
These scholarships include a doctoral stipend (equivalent to the Research<br class="">
Councils UK National Minimum Doctoral Stipend, £17,668 2022/23 rate, 2023/24 to<br class="">
be announced), tuition fees and access to further research<br class="">
support funding. If you are applying as an international candidate, Kent will<br class="">
waive the difference between Home and International fees.<br class="">
<br class="">
If you are interested in applying, please contact a potential supervisor (see<br class="">
list below) as soon as possible, and at least two weeks prior to the closing<br class="">
date. If the supervisor wishes to support your application, they will direct<br class="">
you to make an official application through the KentVision system.<br class="">
<br class="">
Submit your formal applications through the university admission system by the<br class="">
5th March 2023. Your application should include a completed online admission<br class="">
form; the name and contact details of two referees; an original document<br class="">
providing confirmation of your degree (or a transcript if the degree is not yet<br class="">
awarded). For non-native English speakers, a certificate of competence in<br class="">
English is required at IELTS 6.5 or higher, with no element less than 6.0 (or<br class="">
equivalent).<br class="">
<br class="">
Programming Languages and Systems Group:<br class="">
<a href="https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WFRsU8N-A$" class="">https://research.kent.ac.uk/programming-languages-systems/</a><br class="">
<br class="">
Topics suggested by our group:<br class="">
<a href="https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXN03Ygg$" class="">https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/</a><br class="">
<br class="">
Application process, requirements and general enquires:<br class="">
<a href="https://urldefense.com/v3/__https://www.kent.ac.uk/courses/postgraduate/283/computer-science__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXwMWM1Q$" class="">https://www.kent.ac.uk/courses/postgraduate/283/computer-science</a><br class="">
<br class="">
PLAS is a large research group with potential supervisors who work across the<br class="">
breadth of programming languages and systems research.<br class="">
<br class="">
Mark Batty - Concurrency; software verification; systems; relaxed memory;<br class="">
programming language semantics and GPU concurrency<br class="">
<br class="">
Laura Bocchi - Formal verification; concurrency; real-time and Web APIs<br class="">
<br class="">
David Castro-Perez - Cost analysis of concurrent and distributed systems;<br class="">
certified DSLs for concurrent and distributed systems and session types<br class="">
<br class="">
Olaf Chitil - Tracing semantics; algorithmic debugging; type error<br class="">
debugging; compilation and functional programming<br class="">
<br class="">
Simon Cooksey - Weak memory models; Low-level systems; Rust and Morello architecture<br class="">
<br class="">
Rogerio De Lemos - Self-adaptive software systems and operational-time processes<br class="">
<br class="">
Stefan Kahrs - Expressiveness of programming languages; type systems; term<br class="">
rewriting and infinitary rewriting<br class="">
<br class="">
Andy King - Abstract interpretation; decompilation and computer algebra<br class="">
<br class="">
Stefan Marr - Language implementation techniques; concurrency; parallel<br class="">
programming; optimizations; tooling; debugging; virtual machines;<br class="">
interpreters and compilation<br class="">
<br class="">
Dominic Orchard - Mathematical structure and logical foundations of<br class="">
programs; categorical semantics; linear and graded type theories; dependent<br class="">
types; behavioural type theories; programming language design; program<br class="">
languages and tools for computational science.<br class="">
<br class="">
Marco Paviotti - Category theory; functional programming; recursion schemes;<br class="">
computational effects; denotational semantics and guarded recursion<br class="">
<br class="">
Vineet Rajani - Logic and verification; security properties; resource<br class="">
analysis and probabilistic programs<br class="">
<br class="">
Michael Vollmer - Haskell; compilers; functional programming and parallel<br class="">
programming<br class="">
<br class="">
+-----------------------------------------------------------+<br class="">
</div>
</body>
</html>