[TYPES/announce] Postdoctoral Research Position in Theoretical Computer Science

[Sergey Goncharov]

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:

- computational effects via monads and their generalisations
- semantics of iteration and recursion via trace operators
- guarded traces and related structures

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:

- semantics of programming languages
- category theory in computer science
- logic and verification

**Application Process**: Applications will be reviewed on a rolling 
basis, and the position may be filled as soon as a suitable candidate is 
identified.

To apply, please use the University’s job portal:
[https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9104/?utm_medium=jobshare&utm_source=External*Job*Share*5D(https:**Aedzz.fa.em3.oraclecloud.com*hcmUI*CandidateExperience*en*sites*CX_6001*job*9104**Autm_medium=jobshare&utm_source=External*Job*Share)__;KyslLy8vLy8vLy8vLz8rKw!!IBzWLUs!QxMOZ16TleJk4xoezOjgwsqdkbkuIlGdtOAThIVJ5yJhrKV0MP28Dlc3cu3ldbSfzScSxSH-NBGBd-wgQPz6KyAQdc9phnS8E1_Y8qs$ 

Informal enquiries are welcome and can be directed to:
**Sergey Goncharov** (S.Goncharov at bham.ac.uk)

-- 
Sergey Goncharov                       The University of Birmingham
https://urldefense.com/v3/__https://sergey-goncharov.org__;!!IBzWLUs!QxMOZ16TleJk4xoezOjgwsqdkbkuIlGdtOAThIVJ5yJhrKV0MP28Dlc3cu3ldbSfzScSxSH-NBGBd-wgQPz6KyAQdc9phnS8QSBy7KA$            School of Computer Science
                                        Edgbaston, Birmingham B15 2TT, UK