You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Sergey Goncharov (Apr 21 2026 at 18:57):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:
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:
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
Informal enquiries are welcome and can be directed to:
Sergey Goncharov (S.Goncharov@bham.ac.uk)