Research Associate

The University of Birmingham is seeking a Research Associate to contribute to the project "New algebraic structures for computational effects" led by Dr Paul Levy. The role involves developing categorical and denotational semantics for general and stateful effects, as well as polymorphism in effectful languages. The successful candidate will work within established research programmes, analyse findings, and contribute to writing bids and disseminating research findings.