Senior Research Associate on Concurrent and Distributed Probabilistic Verification

Fixed-term contract until 16^th November 2026

The Department of Computer Science is looking for an outstanding candidate to fill a senior researcher position available to start as soon as possible. This job is part of an Advanced Research + Invention Agency-funded project, and also a UKRI POST project, led by Professor David Parker and Professor Nobuko Yoshida.

The post holder will be a member of a research group providing day-to-day supervision for research assistants and PhD students. The post holder is responsible for their own grant funded research project within a discrete area of a wider research programme. The successful candidate will be required to work primarily under the direction of Professor Sadie Creese and the supervision of Professor Michael Goldsmith, with guidance from other senior academics.

The main responsibilities of the advertised post are to contribute to the BPAI project (as described below), with emphasis on probabilistic verification or programming for concurrency or distribution. This may involve probabilistic session types; probabilistic model-checking; probabilistic verification/synthesis; probabilistic logics and semantics; planning and game-theoretic methods; or, where appropriate, software implementation in the context of the PRISM verification toolset. You will have a doctoral degree and post-qualification research experience in Concurrent and Distributed Probabilistic Verification.

Potential applicants can send informal inquiry to Nobuko Yoshida (nobuko.yoshida@cs.ox.ac.uk) or David Parker (david.parker@cs.ox.ac.uk).

The closing date for applications is 12 noon on 30^th April 2025. Interviews are expected to be held in early May.

We are a Stonewall Top 100 Employer, Living Wage, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.

Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html , as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example shared parental leave.

Demonstrating a commitment to provide equality of opportunity, we would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.

Advert information