|
12 June 2008
EPSRC Doctoral Training Grant on Algebraic Approaches to Formal Software Analysis
Applications are invited for a fully funded PhD studentship on algebraic approaches to the formal analysis of software systems. Applicants should send the standard University of Sheffield research studentship application form, a letter of intent, a full CV and details of two referees to k.barker@dcs.shef.ac.uk.
Further details can be obtained from g.struth@dcs.shef.ac.uk.
Closing date will be July 15, 2008.
The candidate will focus on the development of verification techniques based on algebras with modal operators. Possible specialisations could be temporal algebras, Hoare-style algebras or algebras that support program refinement. Besides the development of a theoretical framework, emphasis will be on the analysis of concrete programs and protocols as well as on the integration of theorem proving and decision procedures. Within this broad spectrum, the project will be tailored to the candidate's particular interests and preferences.
The candidate will be based in the Department of Computer Science at the University of Sheffield, which has been ranked 5 in the previous UK Research Assessment Exercise. It will be supervised by Georg Struth and embedded into ongoing collaborations with partners in Canada, Germany and the US.
The grant will cover all study fees for EU nationals. For UK nationals it will also provide a stipend for three years starting at 12940 GBP in the first year and increasing in line with the EPSRC rates.
Candidates should have a First Class Honours or a good 2.1 degree in Mathematics or Computer Science, and a strong interest in theoretical computer science, including algebra, logic and software analysis.
The standard University of Sheffield research studentship application form is available at: http://www.shef.ac.uk/postgraduate/research/apply/index.html. It should be sent with the other application documents to:
|
