PhD position in Department of Computer Science, University of Leicester

The department of computer science at the university of Leicester (UK) is offering a PhD position funded by a Microsoft Research Fellowship. The student will work on the project "Usage of Static Analysis for Model Checking Liveness Properties of Heap Manipulating Programs" under the supervision of Dr Nir Piterman (University of Leicester) and Dr Josh Berdine (Microsoft Research Cambridge).

The position is for three years with a possibility to extend another six months. It includes a stipend 13,590 GBP / annum and home/EU fee waiver.

Screening of applicants will start on July 8th and will continue until the post is filled. For more information, see: http://www.cs.le.ac.uk/people/npiterman/msr/ or contact Nir Piterman (nir.piterman at le.ac.uk).