Dear all, I am currently advertising a PhD position on the subject of categorical foundations of type theory at Utrecht University. The deadline is 6 April, and the start date is flexible. Please see the advertisement here https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-pos... and don’t hesitate to get in touch with me beforehand at p.r.north@uu.nl<mailto:p.r.north@uu.nl>. Best, Paige Randall North 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>