Dear all, The Mathematically Structured Programming (MSP) Group at the University of Strathclyde is advertising funded PhD positions for UK home students. MSP is a thriving place in the UK to do fundamental research, and students from all backgrounds are welcome! If you are interested in applying, please get in touch with one of us as soon as possible, by 22 December 2025 at the latest. I would be happy to hear from anyone interested in category theory, type theory, and related topics. Official information is available at the following link: https://msp.cis.strath.ac.uk/phd2026-JARSS.html Apologies if you have received multiple postings of this message. -- Vikraman 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>