Skip to main content

Senior Research Associate on FUN2MODEL

Posted: 6th June 2019

Department of Computer Science, Parks Road, Oxford.

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

Fixed term for 3 years from 1st October 2019, with the possibility of extension

Grade 8: Salary £40,792 – £48,677 p.a. (note: Grade 7: £32,236 - £39,609 p.a.)


The Automated Verification group at the Department of Computer Science has a vacancy for a Senior Research Associate on the ERC funded FUN2MODEL project. Reporting to Professor Marta Kwiatkowska you will be a senior member of the FUN2MODEL project team and will be expected to provide overall leadership for the development of probabilistic verification and synthesis methods, including software implementation and PRISM extensions; to integrate techniques developed by other members of the team; and to liaise with Dave Parker to coordinate PRISM development.


You will also be responsible for carrying out research with an emphasis on data-centric modelling, coordination and reasoning for autonomous multi-agent systems, capturing cognitive and affective aspects. This includes causal reasoning based on Bayesian networks; game-theoretic methods and algorithmic schemes for coordination and collaboration; formalisation of provably robust and beneficial collaboration; extensions of PRISM modelling language and software; and relevant case studies.

You should hold a PhD in computer science, mathematics or related discipline and have post qualification research experience, possess sufficient specialist knowledge of and demonstrable experience of: foundations of machine learning or statistics, probabilistic modelling/verification, and concurrency/multi-agent systems, and have experience of software development in relevant areas, such as verification and symbolic AI (SAT, SMT, etc), statistical inference or statistical model checking, numerical methods, constraint solving and optimisation. Knowledge of neural networks and Bayesian methods, and familiarity with human-robot interaction is highly desirable.

Whilst the role is a grade 8 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 7 (£32,236 - £39,609 p.a.) with the responsibilities adjusted accordingly (for Grade 7, you would be expected to hold a doctoral degree in Computer Science, mathematics, or related discipline or be close to completion). This would be discussed with applicants at interview/appointment where appropriate.

The closing date for applications is 12 noon on 8 July 2019. Interviews are expected to be held on 23 or 24 July 2019.

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: