Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT). Looks suitable as a development position pre/post-PhD gap.
The Department of Computer Science has a new vacancy for two Research Developers 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 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.
The closing date for applications is 12 noon on 29 June 2020.
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.