Researcher in Model Checking Tools for Embedded Software

University of Oxford - Department of Computer Science

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
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:


South East England