Integrated Correctness Analysis and Performance Evaluation of Software

Posted on 9 January 2017

Applications are invited for a three-year PhD scholarship to be undertaken within the Department of Computer Science at the University of York.

The successful applicant will join one of UK’s top research departments in Computer Science, and will pursue research under the supervision of Dr. Mike Dodds and Dr. Radu Calinescu, with co-supervision from a researcher at Microsoft Research Cambridge.

For more information on this funding opportunity, follow this link.