University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Assistant on HW/SW Co-Verification

Applications for this vacancy closed on 15 June 2018 at 12:00PM
<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>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2018-06-15 12:00:00+01:00
vacancy:applicationOpeningDate
2018-06-08 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
The Department of Computer Science has a new vacancy for a Research Assistant
in Hardware and Software Co-Verification.



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

The Department of Computer Science has a new vacancy for a Research Assistant in Hardware and Software Co-Verification.


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

label
Research Assistant on HW/SW Co-Verification
notation
135238
based near
page