The University of Birmingham, UK, is seeking a high-calibre candidate for a fully funded PhD on the topic "Quantitative Verification of Complex Systems", to commence from September 2013 onwards.
The PhD studentship will be part-funded by the EU project HIERATIC ("Hierarchical Analysis of Complex Dynamical Systems") and part-funded by the College of Engineering and Physical Sciences at the University of Birmingham. The successful candidate will work within the School of Computer Science at the University of Birmingham, under the supervision of Dr. David Parker and Prof. Jon Rowe. There will also be opportunities for collaboration with other HIERATIC project partners: Chalmers University of Technology, Friedrich Schiller University of Jena and the University of Sheffield.
The PhD project will focus on coarse-graining and abstraction methods for the analysis of complex systems, with particular emphasis on techniques for the formal analysis and verification of probabilistic systems. The methods developed will be integrated within the probabilistic verification tool PRISM, whose development is led from the University of Birmingham.
The candidate should have a strong undergraduate degree in Computer Science, Mathematics, or a closely related discipline. Applicants will require strong skills in both programming and mathematics.
The successful candidate will receive a full stipend for living costs, at standard UK rates of £13,726 per year, plus tuition fees, paid at UK/EU rates.
Please contact either David Parker (d.a.parker@cs.bham.ac.uk) or Jon Rowe (j.e.rowe@cs.bham.ac.uk) in the first instance to discuss an application.
Applications should be made by 31 July 2013. Particularly good applications may also be considered beyond this date.