University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT) Project

Applications for this vacancy closed on 7 October 2020 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 Developer on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partner 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 so there is a need for people who can be actively involved in building, deploying and supporting research software in &#8220;real world&#8221; usage.</p><br> <p>You will be involved in contributing to wider project planning, and developing research software and supporting its deployment.</p><br> <p>You will hold an undergraduate degree and have significant software development expertise and experience in Ada and/or C++, 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/or CPROVER, and the use of software verification tools in high assurance environments is highly desirable as is knowledge of symbolic execution.</p><br> <p>Fixed term until 30 June 2021 and is Full-time</p><br> <p>The closing date for applications is 12 noon on Wednesday 7th October 2020.</p><br> <p>We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.<br> <br>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 shared parental leave.</p> </div>
dc:spatial
Department Of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2020-10-07 12:00:00+01:00
vacancy:applicationOpeningDate
2020-09-09 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 Developer
on the Ada Security Vulnerabilities Assessment Tool and Process Development
(ASVAT) project. Reporting to Martin Brain, and collaborating with project
partner 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 so there is a need for people who can be actively involved in building,
deploying and supporting research software in “real world” usage.



You will be involved in contributing to wider project planning, and developing
research software and supporting its deployment.



You will hold ...

The Department of Computer Science has a new vacancy for a Research Developer on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partner 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 so there is a need for people who can be actively involved in building, deploying and supporting research software in “real world” usage.


You will be involved in contributing to wider project planning, and developing research software and supporting its deployment.


You will hold ...

label
Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT) Project
notation
147592
based near
page