University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Researcher in Model Checking Tools for Embedded Software

Applications for this vacancy closed on 4 November 2016 at 12:00PM
<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>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2016-11-04 12:00:00+00:00
vacancy:applicationOpeningDate
2016-10-03 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

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 ...

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 ...
label
Researcher in Model Checking Tools for Embedded Software
notation
125679
based near
page