Researcher in Model Checking Tools for Embedded Software

<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We are seeking to appoint a full-time researcher on the EPSRC-funded project &#8220;Reducing the Cost of Software: A Scalable Model-Based Development Framework&#8221;, reporting to Professor Bill Roscoe and working with co-PI Dr Philippa Hopcroft and research fellow Dr Thomas Gibson-Robinson.</p><br><p>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.</p><br><p>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.</p><br><p>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.</p><br><p>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.</p> </div>