Logic List Mailing Archive

Microsoft Research Fellowship (PhD student) in computer science, Leicester (U.K.)

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.

For further details contact Nir Piterman (nir.piterman at le.ac.uk).

For more information, see:

http://www.cs.le.ac.uk/people/npiterman/msr/