Dear all, Application deadline: 9 December 2025 The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the Engineering and Physical Sciences Research Council (UK) and provides support for up to 3.5 years of full-time research. The successful candidate will contribute to the project "New algebraic structures for computational effects", which aims to develop categorical and denotational semantics for general effects, for stateful effects in particular, and for polymorphism in effectful languages. The project will involve categorical structures, call-by-push-value and game semantics, so any background in these and related areas would be valuable. Although the earliest possible appointment date is 1 March 2026, a later start date can be arranged. To apply, use the following link to the University's Job Portal: https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/jobs/preview/8308/?keyword=computer+science&mode=location Please feel free to contact me with any informal enquiries. best regards, Paul 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>