Dear all, a fully funded PhD position at the University of Birmingham is available under my supervision, with scholarship for one **UK home student**. The position is in theoretical computer science and will be hosted by the Theory of Computation group at the University of Birmingham. The intended research directions include category theory, type theory, and related areas. Prospective candidates are encouraged to contact me directly, asap and before Christmas. Please include a CV and a brief description of your research interests and motivation. - About me: https://sergey-goncharov.org/ - About Birmingham Theory Group: https://www.birmingham.ac.uk/research/centres-institutes/research-in-compute... Best regards, -- Sergey Goncharov The University of Birmingham https://sergey-goncharov.org School of Computer Science Edgbaston, Birmingham B15 2TT, UK 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/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>