PhD: Software Verification and Optimization

Queen Mary University of London - School of Electronic Engineering and Computer Science

Applications are invited for a fully-funded PhD Studentship to undertake research in the area of Software Verification and Optimization in collaboration with Microsoft Research. The studentship will start from October 2017, or as soon as possible thereafter. The studentship is based at the School of Electronic Engineering and Computer Science at Queen Mary, University of London and will be supervised by Dr Greta Yorsh.

The studentship will involve research and development of novel optimizing compilers with focus on code generation and optimization methods based on constraint solving. It is expected that the students will work in close collaboration with other researchers, both in QMUL and Microsoft Research.

Candidates should have a first class honours degree or equivalent (and preferably a Masters Degree) in Computer Science or a related field, and the ability to demonstrate strong mathematical and analytical skills. Strong programming skills and background in compilers or constraint solving are also desirable. Successful applicants should have a strong commitment to research and enjoy working at the intersection of theory and practice.

This studentship, funded by an EPSRC ICase, is for tuition fees plus a tax-free stipend starting at approximately £16.5K per annum. It attracts an additional stipend from the industrial partner. Further details of the EPSRC scheme including terms and conditions can be found here:

Applicants must satisfy UK residence requirements as defined here:

Informal enquiries can be made by email to Dr Greta Yorsh

To apply please follow the on-line process (see by selecting “Computer Science” in the “A-Z list of research opportunities” and following the instructions on the right hand side of the web page. 

Please note that instead of the 'Research Proposal' we request a 'Statement of Research Interests'. Your Statement of Research Interest should answer two questions: (i) Why are you interested in the proposed area? (ii) What is your experience in the proposed area? Your statement should be brief: no more than 500 words or one side of A4 paper. In addition we would also like you to send a sample of your written work. This might be a chapter of your final year dissertation, or a published conference or journal paper. More details can be found at:

The closing date for applications is 11 September 2017.      

Interviews are expected to take place after 18 Sept 2017.

Valuing Diversity & Committed to Equality

Share this PhD
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role: