+-----------------------------------------------------------+ Fully-Funded PhD Studentships School of Computing University of Kent, UK https://tinyurl.com/phd-kent +-----------------------------------------------------------+ 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). Applications are due by the 5th March 2023. These scholarships include a doctoral stipend (equivalent to the Research Councils UK National Minimum Doctoral Stipend, £17,668 2022/23 rate, 2023/24 to be announced), tuition fees and access to further research support funding. If you are applying as an international candidate, Kent will waive the difference between Home and International fees. 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 5th March 2023. 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). 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; software verification; systems; relaxed memory; programming language semantics and GPU concurrency Laura Bocchi - Formal verification; concurrency; real-time and Web APIs David Castro-Perez - Cost analysis of concurrent and distributed systems; certified DSLs for concurrent and distributed systems and session types Olaf Chitil - Tracing, semantics; algorithmic debugging; type error debugging; compilation and functional programming Simon Cooksey - Weak memory models; Low-level systems; Rust and Morello architecture Rogerio De Lemos - Self-adaptive software systems and operational-time processes Stefan Kahrs - Expressiveness of programming languages; type systems; term rewriting and infinitary rewriting Andy King - Abstract interpretation; decompilation and computer algebra Stefan Marr - Language implementation techniques; concurrency; parallel programming; optimizations; tooling; debugging; virtual machines; interpreters and compilation Dominic Orchard - Mathematical structure and logical foundations of programs; categorical semantics; linear and graded type theories; dependent types; behavioural type theories; programming language design; program languages and tools for computational science. Marco Paviotti - Category theory; functional programming; recursion schemes; computational effects; denotational semantics and guarded recursion Vineet Rajani - Logic and verification; security properties; resource analysis and probabilistic programs Michael Vollmer - Haskell; compilers; functional programming and parallel programming +-----------------------------------------------------------+