University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Researcher in Verification of Embedded Systems

Applications for this vacancy closed on 7 March 2016 at 12:00PM
The department has a new opening for a full-time Researcher in Verification of
Embedded Systems, fixed-term for up to 1 year. Reporting to Professor Daniel
Kroening and Dr Martin Brain, you will be a member of the Systems Verification
research group.



The primary selection criteria are a doctoral degree (or very close to
completion) in a relevant area of Computer Science or a related discipline
together with a strong background in either the theory or the practical
application of formal verification or program analysis. Experience with
program analysers, verification tools such as Model Checkers and a prior
background in verification for embedded systems (such as avionics or
automotive) are highly desirable.



The closing date for applications is 12.00 noon on 7 March 2016.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2016-03-07 12:00:00+00:00
vacancy:applicationOpeningDate
2016-02-01 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

The department has a new opening for a full-time Researcher in Verification of Embedded Systems, fixed-term for up to 1 year. Reporting to Professor Daniel Kroening and Dr Martin Brain, you will be a member of the Systems Verification research group.


The primary selection criteria are a doctoral degree (or very close to completion) in a relevant area of Computer Science or a related discipline together with a strong background in either the theory or the practical application of formal verification or program analysis. Experience with program analysers, verification tools such as Model Checkers and a prior background in verification ...

The department has a new opening for a full-time Researcher in Verification of
Embedded Systems, fixed-term for up to 1 year. Reporting to Professor Daniel
Kroening and Dr Martin Brain, you will be a member of the Systems Verification
research group.



The primary selection criteria are a doctoral degree (or very close to
completion) in a relevant area of Computer Science or a related discipline
together with a strong background in either the theory or the practical
application of formal verification or program analysis. Experience with
program analysers, verification tools such as Model Checkers and a prior
background in verification ...
label
Researcher in Verification of Embedded Systems
notation
122032
based near
page