Please note that this newsitem has been archived, and may contain outdated information or links.
Postdoc in Higher-Order Monad-based Programming and Reasoning at the University of Birmingham [UK]
Deadline: Thursday 7 May 2026
The successful candidate will join the project **Higher-Order Monad-based Programming and Reasoning (HOMBRe)**. The project explores foundational aspects of program semantics and verification. The position is available immediately, and an early start is strongly preferred.
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, or logic and verification.
For more information, see
https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9104/?utm_medium=jobshare&utm_source=External+Job+Share]
or contact Sergey Goncharov at S.Goncharov at bham.ac.uk.
Please note that this newsitem has been archived, and may contain outdated information or links.