Research Assistant on HW/SW Co-Verification

<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>The Department of Computer Science has a new vacancy for a Research Assistant in Hardware and Software Co-Verification.</p><br> <p>You will provide practical, hands-on research technical support and assistance to two funded research projects being led by Professors Kroening and Melham. These projects involve fundamental and applied computer science research, and are industry-facing. The focus of the role will be application of automated reasoning and (machine) learning techniques to low-level Hardware and Software interactions across at-scale computer systems. Additionally, you will contribute to the application of automated reasoning techniques such as (but not limited to) model checking to control code. 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.</p><br> <p>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.</p><br> <p>The post is fixed-term for up to 1 year.</p><br> <p>The closing date for applications is 12.00 noon on 15 June 2018.</p><br> <p>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 http://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.</p> </div>