Postdoctoral Research Position, University of Birmingham

Postdoctoral Research Position, University of Birmingham

[Sergey Goncharov]

[-- Attachment #1: Type: text/plain, Size: 2124 bytes --]

**Postdoctoral Research Position in Theoretical Computer Science** at
the University of Birmingham, UK

The University of Birmingham invites applications for a fully funded
postdoctoral research position in Theoretical Computer Science. The
position is funded by the German Research Foundation (DFG) and provides
support for 18 months of full-time research, with a possible further
extension by another 6 months.

The successful candidate will contribute to the project "Higher-Order
Monad-based Programming and Reasoning (HOMBRe)", which explores
foundational aspects of program semantics and verification. A central
focus of the project is the treatment of computational effects via
monads and their generalizations as well as the semantics of iteration
and recursion via trace operators, with particular interest in the
notion of guarded traces.

The project welcomes a broad range of perspectives across
functional-imperative programming, verification logics, and categorical
semantics.

The position is open immediately and preferably to be filled as soon as
possible. Applications will be considered on a rolling basis.

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?keyword=105667&mode=location<https://url.au.m.mimecastprotect.com/s/kKG7C81Vq2C6xRmp9f1hGfyKm59?domain=edzz.fa.em3.oraclecloud.com>

Send your informal inquiries to Sergey Goncharov (S.Goncharov@bham.ac.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/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4080 bytes --]

Postdoctoral Research Position, University of Birmingham

[Paul Levy]

[-- Attachment #1: Type: text/plain, Size: 1913 bytes --]

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<https://url.au.m.mimecastprotect.com/s/XDYjCWLVn6i5VxGxxf6flCo_5I8?domain=edzz.fa.em3.oraclecloud.com>

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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 6716 bytes --]