Researcher in Model Checking Tools for Embedded Software
University of Oxford - Department of Computer Science
|Salary:||£30,738 to £37,768 Grade 7 p.a.|
|Contract Type:||Contract / Temporary|
|Placed on:||5th October 2016|
|Closes:||4th November 2016|
We are seeking to appoint a full-time researcher on the EPSRC-funded project “Reducing the Cost of Software: A Scalable Model-Based Development Framework”, reporting to Professor Bill Roscoe and working with co-PI Dr Philippa Hopcroft and research fellow Dr Thomas Gibson-Robinson.
The goal of the project is to develop technology that can formally verify software systems described in model-based languages (e.g. UML). The primary focus is on large-scale asynchronous and concurrent software systems where existing techniques simply do not work. The work will involve the development of novel programming languages and model-checking algorithms.
In addition to your research contribution towards the project aims and objectives (including developing ideas for new research projects), you will develop professional-quality code, algorithms, and theory in support of it.
You will have a doctoral degree in a relevant area of science, good C++ programming (or closely-related language) skills, and a documented track record of the ability to conduct and complete research and programming projects, as witnessed by published material or well-documented sources. Experience of any of the following is highly desirable: model-based languages (e.g. UML and SysML), implementing compilers or verification tools, and implementing high-performance concurrent algorithms.
The closing date for applications is 12.00 noon on 4 November 2016. Interviews are expected to be held in mid-to-late November 2016.
Share this job
Type / Role:
South East England