University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Part-time Research Assistant on Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT)

Applications for this vacancy closed on 15 February 2019 at 12:00PM
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.00 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.

dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-02-15 12:00:00+00:00
vacancy:applicationOpeningDate
2019-02-08 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
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 ...

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

label
Part-time Research Assistant on Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT)
notation
139317
based near
page