Logic List Mailing Archive

CfA: Postdoc in “Higher-Order Monad-based Programming and Reasoning", Birmingham (UK), deadline: roling basis

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 Universitys job portal:
[https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9104/?utm_medium=jobshare&utm_source=External+Job+Share](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)

-- 
Sergey Goncharov                       The University of Birmingham
https://sergey-goncharov.org           School of Computer Science
                                        Edgbaston, Birmingham B15 2TT, UK

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php