PhD position at the University of Sussex, starting Sept 2025

PhD position at the University of Sussex, starting Sept 2025

[Philip Saville]

[-- Attachment #1: Type: text/plain, Size: 1905 bytes --]

Dear all,

I'm fortunate to be able to advertise a 3.5 year, funded PhD studentship at the University of Sussex, to start in September 2025. The PhD will be in the Department of Informatics, but could include a significant portion of pure category theory. The closing date for applications is 14th May.

The exact project can be tailored to the successful applicant, but will likely focus on using category theory to understand the structure and behaviour of programming languages. My research tends to make use of 2-dimensional category theory and ideas from categorical logic and universal algebra.

Sussex's Foundations of Software Systems group<https://url.au.m.mimecastprotect.com/s/Q8oYCMwGj8CqDkwPwFwfGU81dBE?domain=sussex.ac.uk> has recently been growing, and hosts researchers with interests across logic and programming languages. The university campus is just outside the seaside town of Brighton, and almost entirely surrounded by the South Downs national park.

For more information, see the Sussex page<https://url.au.m.mimecastprotect.com/s/PpKyCNLJxki0JPOLOH4hvUyfAyE?domain=sussex.ac.uk> or feel free to email me at p.saville@sussex.ac.uk<mailto:p.saville@sussex.ac.uk> – also please pass this on to any students you know who may be interested!

Thanks,

Philip


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5478 bytes --]