Job Description

Research Assistant on Session Types: Theory and Programming Semantics

Fixed-term until 30 September 2026 to start from 1 October 2025

Grade 06: 34,982-40,855 per annum inclusive of Oxford University weighting

We are excited to offer this fixed-term Research Assistant position at the University of Oxford, under the supervision of Professor Nobuko Yoshida. The Research Assistant will be part of Mobility Reading Group led by Nobuko Yoshida. The successful candidate will be located in the Department of Computer Science Reporting to Professor Nobuko Yoshida, the post holder will be responsible for working on either theory or practice on session types. The post holder will be responsible for publishing the results and collaborating with the partners and group members across the projects.

This role is especially suitable for someone with strong formal reasoning and data analysis skills who is considering progression to a PhD or further postdoctoral research in AI ethics, social choice theory, or computational modelling.

This post is based at the Department of Computer Science and on-site working is required. Remote and part-time working options must be agreed with Professor Nobuko Yoshida.

What We Offer

As an employer, we genuinely care about our employees' wellbeing and this is reflected in the range of benefits that we offer including:

An excellent contributory pension scheme

38 days annual leave (pro-rata for part-time jobs)

A comprehensive range of childcare services

Family leave schemes

Cycle loan scheme

Discounted bus travel and Season Ticket travel loans

Membership to a variety of social and sports clubs

Diversity

Committed to equality and valuing diversity.

Application Process

You will be required to upload an up-to-date CV and a supporting statement as part of your online application.

Your supporting statement must clearly demonstrate how you meet each of the essential selection criteria listed in the job description. Applications that do not include a supporting statement or CV, or fail to address the criteria in sufficient detail, will not be considered.

While we recognise the value of AI tools in assisting with application preparation, submissions that are

clearly AI-generated without personalisation or insight

will be rejected. It's crucial that your application reflects your own experiences and understanding of the role.

The closing date for applications is noon on Friday 8th August 2025.