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

Sergey Goncharov s.goncharov at bham.ac.uk
Wed May 21 05:44:49 EDT 2025


**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://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/jobs?keyword=105667&mode=location__;!!IBzWLUs!RMoZOq9Lyh8J4W-X-Z1pPh4tI7PThxiSTGIKYpWcIs6OElGeZrAzp0FDfO3ZVcVNFqX69k0AGLOspGSGAgMxYYaH4r8KX5Rbvr0jXzI$ 

Send your informal inquiries to Sergey Goncharov (S.Goncharov at bham.ac.uk)



More information about the Types-announce mailing list