Skip to main content

Research Associate on FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

Posted: 20th March 2020

We are looking for a motivated Research Associate 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 with an emphasis on probabilistic reasoning for multi-agent systems. This may include probabilistic modelling, interface theories, symbolic methods, planning, game theory and equilibria. 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 specialist knowledge and demonstrable experience across some/all of: probabilistic modelling, interface theories, games and equilibria, as well as have proven experience of software development in relevant areas, such as symbolic verification and synthesis (SAT, SMT, etc) and planning. Knowledge of neural networks and Bayesian methods is desirable.

Whilst the role is a grade 7 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at grade 6 (£29,126 - £34,804), with responsibilities adjusted accordingly. For grade 6, you would be expected to hold a Masters in computer science, mathematics, or related discipline (or be close to completion). This would be discussed with applicants at interview/appointment where appropriate.

We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department.

The closing date for applications is 12 noon on 15th April 2020. Interviews are expected to be held week commencing 20th April 2020.

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 maternity leave.


For further details and to apply please visit: