[TYPES/announce] Postdoctoral Research Position, University of Birmingham

[Paul Levy]

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://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/jobs/preview/8308/?keyword=computer*science&mode=location__;Kw!!IBzWLUs!SjHplZIPtPW7A_PlauJSHVcCatGrpa8jJ-rWV0pKMz3SNOxo1ObGiWfE_KU_Jl5B-EnXNKe-ufGjt72MNCEkt9zfev-gLik8wxM$ 

Please feel free to contact me with any informal enquiries.
best regards,
Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251119/ec0e22ce/attachment-0001.htm>