Skip to main content

Research Associate on FUN2MODEL

Posted: 6th June 2019

Department of Computer Science, Parks Road, Oxford.

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 7: £32,236 - £39,609 p.a.

The Automated Verification group at the Department of Computer Science has a vacancy for a Research Associate on the ERC funded FUN2MODEL project. Reporting to Professor Marta Kwiatkowska, you will conduct original research on this project with emphasis on developing an algebraic theory of probabilistic components amenable to machine learning (ML). This includes study of interfaces and algebraic operations for ML components; contract-based probabilistic reasoning for ML components; reasoning about complex ML decisions; integration with autonomous multi-agent system models and reasoning tools; and relevant case studies.


You will be responsible for carrying out research as outlined above, collaborating with Professor Kwiatkowska and other members of the team, and assisting with project reporting, as required. You will also have an opportunity to engage in teaching, and to provide guidance to junior members of the research group, including PhD and MSc students.

You should hold a PhD (or be close to completion) in computer science, mathematics, or related discipline and have post-qualification research experience, possess sufficient specialist knowledge of compositional assume-guarantee methods in concurrency, contract-based reasoning, and probabilistic programming and/or probabilistic verification, and have an excellent track record of peer-reviewed publications. Familiarity with Bayesian networks and causal reasoning and/or probabilistic verification/synthesis, and experience of software development in relevant areas, such as compositional verification is highly desirable.

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: