Part-time Research Assistant on Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT)
Posted: 8th February 2019
Department of Computer Science, Parks Road, Oxford.
Part-time Research Assistant on Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT)
Fixed term until 24 May 2020
Part-time, 0.4 FTE (15 hours per week)
Grade 6: £28,660 - £34,189 p.a.
The Department of Computer Science has a new vacancy for a Part-time Research Assistant on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partners Diffblue Ltd. And Altran, you will be building a state-of-the-art security analysis tool for legacy embedded systems. The group is developing a substantial software system over the next 16 months so there is a need for someone who can be actively involved in building, deploying and supporting research software in “real world” usage.
You will be involved in conducting original research, contributing to wider project planning, including ideas for new research projects, contributing to scientific reports and journal articles and the presentation of data/papers at conferences, and developing research software and supporting its deployment.
You will hold a first degree, and be working towards a doctorate (or equivalent experience), and have significant software development expertise and experience in Ada, together with familiarity with the challenges involved in delivering high integrity and high assurance software. Experience of development of software verification tools, especially those targeting Ada, and the use of software verification tools in high assurance environments is highly desirable.
The closing date for applications is 12 noon on 15 February 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 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.