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