Department of Computer Science, University of Oxford Project “Automated Formal Verification” Grade 08S Researcher
Posted: 13th February 2012
Department of Computer Science, University of Oxford
Project “Automated Formal Verification”
Grade 08S Researcher
The Verification Group is offering a post for a Grade 8 Researcher to work on the automated methods for formal verification of software under the direction of Daniel Kroening in the Department of Computer Science, University of Oxford. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. The post offers scope for both theoretical and applied work; candidates of either inclination will be considered.
Candidates with applied focus should demonstrate strong programming and systems skills, experience of tool construction, and knowledge of program analysis. Candidates with a background in theoretical computer science should be able to demonstrate experience with automata theory, abstract interpretation, model checking or decision procedures.
Candidates with a background in one of the following areas are especially encouraged to apply:
- embedded systems
- unmanned aerial vehicles (UAVs)
- validation of evolving software
- operating system kernels
- shared-variable concurrency
The successful candidate will be expected to provide leadership for the research aspects of verification group projects and to direct the work of a junior research assistant and doctoral student associated with the project.
This post is a full time appointment, and is available initially for up to 3 years (with the possibility of extension). The post has a salary on the University grade 08 scale, currently £37,012 - £44,166 p.a.
The closing date for applications is 12 noon on Wednesday 14th March 2012.
To apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=102191
The policy and practice of the University of Oxford require that all staff are offered equal opportunities within employment. Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. Subject to statutory provisions, no applicant or member of staff will be treated less favourably than another because of his or her age, sex, marital or civil partnership status, sexual orientation, religion or belief, racial group or disability.