The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The successful candidate will join the project **“Higher-Order Monad-based Programming and Reasoning (HOMBRe)”**, funded by the German Research Foundation (DFG). The project explores foundational aspects of program semantics and verification, with particular emphasis on: - computational effects via monads and their generalisations - semantics of iteration and recursion via trace operators - guarded traces and related structures We welcome applicants with interests across functional and imperative programming, verification logics, and categorical semantics. The position is available immediately, and an early start is strongly preferred. The appointment is a fixed-term position linked to the remaining duration of the project, with an expected term of up to approximately 18 months (depending on the start date). There may be a possibility of extension, subject to project developments and funding conditions. **Candidate Profile**: Applicants should have (or be close to completing) a PhD in Computer Science, Mathematics, or a closely related field, with a strong background in one or more of the following: - semantics of programming languages - category theory in computer science - logic and verification **Application Process**: Applications will be reviewed on a rolling basis, and the position may be filled as soon as a suitable candidate is identified. To apply, please use the University’s job portal: [https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9104/?utm_medium=jobshare&utm_source=External+Job+Share](https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9104/?utm_medium=jobshare&utm_source=External+Job+Share) Informal enquiries are welcome and can be directed to: **Sergey Goncharov** (S.Goncharov@bham.ac.uk) -- 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>