Fully-Funded PhD Studentships at University of Kent, UK

+-----------------------------------------------------------+

            Fully-Funded PhD Studentships

                School of Computing
               University of Kent, UK

           https://tinyurl.com/kent-2025

+-----------------------------------------------------------+

The Programming Languages and Systems (PLAS) group at the University
of Kent’s School of Computing invites applications for 3.5-year PhD scholarships
(fully funded for both UK and international students). The PLAS group is a
diverse community of researchers exploring all aspects of programming
languages, spanning from theory to applications.

Applications are due by the 15th February 2025.

These scholarships include tuition fees plus a combined maintenance grant and salary 
equivalent to the Research Councils UK National Minimum Doctoral Stipend 
(currently at £19,237 for 2023/24) for the first three years followed by fees and 
maintenance grant for a further six months. Scholars also receive fee-paid teacher 
in Higher Education training through the Associate Fellowship Scheme.

If you are interested in applying, please contact a potential supervisor (see
list below) as soon as possible, and at least two weeks prior to the closing
date. If the supervisor wishes to support your application, they will direct you
to make an official application through the KentVision system.

Submit your formal applications through the university admission system by the
15th February. 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.0 or higher, with no element less than 5.5 (or
equivalent).

Programming Languages and Systems Group:
https://research.kent.ac.uk/programming-languages-systems/

Topics suggested by our group:
https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/

Application process, requirements and general enquires:
https://www.kent.ac.uk/courses/postgraduate/283/computer-science

PLAS is a large research group with potential supervisors who work across the
breadth of programming languages and systems research.

- Mark Batty - Concurrency;  relaxed memory;  semantics and memory safety
- Laura Bocchi - Formal verification; concurrency; real-time and Web APIs
- David Castro-Perez - Cost analysis of concurrent and distributed systems; certified DSLs; session types;
- Olaf Chitil - Tracing, semantics; algorithmic debugging; type error debugging; compilation
- Rogerio De Lemos - Self-adaptive software systems and operational-time processes
- Andy King - Abstract interpretation; decompilation and computer algebra
- Stefan Marr - Language implementation, interpreters and compilers; concurrency; parallel programming; debugging;
- Dominic Orchard - Linear and graded type theories, programming languages and systems for computational science, logic and semantics
- Marco Paviotti - Category theory; semantics; type theory; functional programming
- Vineet Rajani - Logic and verification; security properties; resource analysis and probabilistic programs
- Michael Vollmer - Haskell; compilers; functional programming and parallel programming

In the QS World University Rankings, the University of Kent is consistently placed 
within the top 25% of Higher Education Institutions globally.

Kent's campus is based atop a scenic hill with a stunning view of the historic
city of Canterbury, a designated World Heritage Site and host of the
cathedral of the Archbishop of Canterbury.

The campus offers diverse housing options within its colleges with a 30-minute
walking distance from the city. Commuting options include biking or public
transport via bus. Canterbury is in a most advantageous location offering quick
access to London with just a 55-minute train ride, and European travel is within
reach via the Eurostar train or by car.

+-----------------------------------------------------------+