Efficient Verification of Software with Replicated Components Project
Grade 7 Research Assistant
The Automated Formal Verification Group is offering a postdoctoral position at Oxford University's Computing Laboratory. The position is associated with the EPSRC project "Efficient Verification of Software with Replicated Components", under the supervision of Daniel Kroening, which will investigate automated techniques to improve the quality of software.
The project concerns the development of tools for the analysis of software that makes uses of multiple threads of execution. We are particularly interested in software in which a component (e.g., a server thread) is replicated multiple times. The project lies at the intersection of several topics - symmetry reduction, decision procedures, and abstraction techniques.
A three-year research position is available to work on both the fundamental theory as well as the tool implementation. The ideal candidate has a background on program analysis or compiler construction, formal methods, practical aspects of shared-variable concurrency, and has documented programming skills in C++. Candidates with a background in embedded systems, e.g., automotive, railway, or avionic control systems are especially encouraged to apply.
The post, which is a full-time fixed term appointment has a salary on the University grade 7 scale (currently £28,839 - £30,594 p.a.) is pensionable, includes an annual leave entitlement of 38 days per year inclusive of public holidays and university closed periods and is tenable for up to 3 years.
Further details of the post, including the selection criteria and method of application are here or via email to job01@comlab.ox.ac.uk
The closing date for applications is Monday 1st December 2008.
Oxford University is an Equal Opportunities Employer
