Researcher in Verification of Embedded Systems
Posted: 1st February 2016
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Researcher in Verification of Embedded Systems
Fixed term for up to 1 year
Grade 7: £30,738 - £37,768 p.a.
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 post, which is a full-time appointment is funded by ERC, is available for up to 1 year, and has a salary on the University grade 07S scale (currently £30,738 - £37,768 p.a.) This includes membership of the Universities Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).
The closing date for applications is 12 noon on 7 March 2016.
For further details and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=122032
Committed to equality and valuing diversity