University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Assistant on Machine Learning in Verification

Applications for this vacancy closed on 21 December 2015 at 12:00PM
THIS VACANCY IS FOR INTERNAL CANDIDATES ONLY



The department has a new opening for a full-time Research Assistant on Machine
Learning in Verification, fixed-term for up to 1 year. Reporting to Professors
Alessandro Abate and Daniel Kroening, you will be a member of the research
group with responsibility for the provision of research support for machine
learning in verification. You will have the opportunity to provide advice and
guidance to research students where appropriate.



The role involves, but is not limited to, contributing to scientific reports
and journal articles, wider project planning, determining the most appropriate
methodologies to test hypotheses, and adapting experimental protocols.



The primary selection criteria are a first degree in computer science or
engineering, experience programming in C and Labview, and knowledge of
verification algorithms (including quantitative) and verification tools.
Experience in robotics, working in a research team/contributing ideas for new
research projects, and of contributing to reports/articles for publication are
highly desirable.



The closing date for applications is 12.00 noon on 21 December 2015.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2015-12-21 12:00:00+00:00
vacancy:applicationOpeningDate
2015-12-14 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

THIS VACANCY IS FOR INTERNAL CANDIDATES ONLY


The department has a new opening for a full-time Research Assistant on Machine Learning in Verification, fixed-term for up to 1 year. Reporting to Professors Alessandro Abate and Daniel Kroening, you will be a member of the research group with responsibility for the provision of research support for machine learning in verification. You will have the opportunity to provide advice and guidance to research students where appropriate.


The role involves, but is not limited to, contributing to scientific reports and journal articles, wider project planning, determining the most appropriate methodologies to test hypotheses, ...

THIS VACANCY IS FOR INTERNAL CANDIDATES ONLY



The department has a new opening for a full-time Research Assistant on Machine
Learning in Verification, fixed-term for up to 1 year. Reporting to Professors
Alessandro Abate and Daniel Kroening, you will be a member of the research
group with responsibility for the provision of research support for machine
learning in verification. You will have the opportunity to provide advice and
guidance to research students where appropriate.



The role involves, but is not limited to, contributing to scientific reports
and journal articles, wider project planning, determining the most appropriate
methodologies to test hypotheses, ...
label
Research Assistant on Machine Learning in Verification
notation
121524
based near
page