Department of Computer Science Research Assistant in Verification Group Fixed-term for up to 1 year, Grade 7; Salary: £30,434 – £37,394 p.a
Posted: 18th September 2014
The Automated Formal Verification Group has an opportunity for a Research Assistant to work on programme analysis methods for incremental software development, under the direction of Daniel Kroening. The successful candidate will be contributing to the research project plan as well as collaborating with other staff associated with the project. Applicants must have (or shortly be expecting to obtain) a PhD in Computer Science or a closely related field.
The Verification group comprises world-leading experts in software verification and model checking such as Marta Kwiatkowska, Tom Melham, Luke Ong, and Bill Roscoe.
The primary selection criteria are strong programming and systems skills, some experience of tool construction, and basic knowledge of program analysis. A background in theoretical computer science or mathematics is desirable. Candidates with prior experience in software model checking are especially encouraged to apply.
The post, which is a full time appointment, is funded by funded by EPSRC and is available initially for up to 1 year with the possibility of extension. The post has a salary on the University grade 07S scale (currently £30,434 to £37,394). This includes membership of the University 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 20 October 2014
For further details and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=115206