Department of Computer Science, University of Oxford Project “Automated Formal Verification” Grade 07S Research Assistant
Posted: 26th March 2012
Department of Computer Science, University of Oxford
Project “Automated Formal Verification”
Grade 07S Research Assistant
The Verification Group is offering a post for a Grade 7 Research Assistant 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 and should have documented prior programming experience. The post offers scope for both theoretical and applied work; candidates of either inclination will be considered.
The successful candidate will be required to develop research questions within a specific context, conduct individual research, analysing detailed and complex qualitative and/or quantitative data from a variety of sources, and generate original ideas by building on existing concepts.
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 post is a full-time appointment, and is available initially for up to 3 years with the possibility of extension.
The closing date for applications is 12 noon on Friday 15th June 2012.
For further details see document below and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=102556
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.