Research Assistant in Validation of Machine Learning Systems

The Department of Computer Science has a new vacancy for a Research Assistant
in Validation of Machine Learning Systems.



You will provide practical, hands-on research, technical support, and research
assistance to funded research projects being led by Professors Kroening and
Melham in the Department of Computer Science. The projects involve fundamental
and applied computer science research, and are industry-facing. The main duty
will be application of automated reasoning and/or testing to the analysis of
Machine Learning Systems. You will be a full member of the research groups of
Professors Melham and Kroening and have opportunities to publish and develop
your research skills.



The primary selection criteria are a first degree in computer science,
together with relevant experience, sufficient specialist knowledge in the
discipline to work within the research programmes, the ability to manage your
own research and administrative activities, and excellent communication
skills. Experience of working in a research team, contributing ideas for new
research projects, and of contributing to reports and articles for publication
is highly desirable.



The post is fixed-term for up to 1 year.



The closing date for applications is 12.00 noon on Thursday 22 August 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 www.cs.ox.ac.uk/aboutus/women-cs-
oxford/index.html, 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.