Skip to main content

Research Associate on project Fun2Model

Posted: 5th October 2023

Department of Computer Science, Parks Road, Oxford.

Research Associate on project Fun2Model (2 posts)

Full Time and Fixed Term Fixed term contract until 30th September 2025

Grade 7: £36,024 - £44,263 p.a. with the potential to under-fill at Grade 6 with salaries in the range of £32,332 - £38,205 p.a.

We are looking for two motivated Research Associates to play a key role in the ERC funded FUN2MODEL project. You will be a member of the collaborative project team working at the cutting edge of Computer Science. Reporting directly to Professor Marta Kwiatkowska, you will be contributing to the development of theories, models and algorithms for quantitative/probabilistic verification and synthesis to enable robust AI. Based within an internationally leading research group, you will benefit from working in Oxford University’s acclaimed Computer Science Department, located in the heart of Oxford’s Scientific Keble Triangle.

You will carry out research on probabilistic verification and synthesis to enable robust AI. This may involve neuro-symbolic approaches; probabilistic verification/synthesis; planning and game-theoretic methods; robustness and certification. Suitably qualified candidates will have an opportunity to implement software, liaising with Dave Parker to coordinate PRISM codebase extensions.

You will be expected to write research articles for leading conferences and journals, complete clear task objectives, organise your workload, and proactively contribute towards the research group’s objectives.

You should hold a PhD (or be close to completion) in computer science, mathematics or related discipline, possess sufficient specialist knowledge across some/all areas of: symbolic/neuro-symbolic methods; probabilistic/statistical verification and synthesis; planning and game theory, as well as have proven experience of software development in relevant areas, such as SAT/SMT, statistical inference, constraint solving and optimisation. Familiarity with neural networks and Bayesian methods is desirable.

The closing date for applications is 12 noon on 6th of November 2023. Interviews are expected to be held in the week commencing 13th of November 2023.

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 , 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.

For further details and to apply please visit: