[TYPES/announce] PhD scholarships at University of Kent (UK)

[Marco Paviotti]

Dear all,

The School of Computing at University of Kent (UK) has a number of PhD scholarships available. See the advert below.
PL proposals are strongly encouraged!

Best,
Marco

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

              Fully-Funded PhD Studentships

                  School of Computing
                 University of Kent, UK

              https://urldefense.com/v3/__https://tinyurl.com/phd-kent__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WF13OEXWQ$ 

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

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://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WFRsU8N-A$ 

Topics suggested by our group:
https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXN03Ygg$ 

Application process, requirements and general enquires:
https://urldefense.com/v3/__https://www.kent.ac.uk/courses/postgraduate/283/computer-science__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXwMWM1Q$ 

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

+-----------------------------------------------------------+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230117/e55a4c98/attachment-0001.htm>