PhD: Software Verification and Optimization

All UK vacanciesPhDPhD: Software Verification and Optimization

Computer Science,Computer Science,Software Engineering

Short info about job

Company: Queen Mary University of London

Department: School of Electronic Engineering and Computer Science

Hours: Full Time

Type / Role: PhD

Phone: +44-1327 3521636

Fax: +44-1535 8846435

E-mail: N\A

Site:

Detail information about job PhD: Software Verification and Optimization. Terms and conditions vacancy

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: https://www.epsrc.ac.uk/skills/students/

Applicants must satisfy UK residence requirements as defined here: https://www.epsrc.ac.uk/skills/students/help/eligibility/

Informal enquiries can be made by email to Dr Greta Yorsh [email protected].

To apply please follow the on-line process (see www.qmul.ac.uk/postgraduate/apply/) 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: http://www.eecs.qmul.ac.uk/phd/apply.php

The closing date for applications is 11 September 2017.      

Interviews are expected to take place after 18 Sept 2017.

Valuing Diversity & Committed to Equality

Responds for PhD: Software Verification and Optimization on FaceBook

Read all comments for PhD: Software Verification and Optimization. Leave a respond PhD: Software Verification and Optimization in social networks. PhD: Software Verification and Optimization on Facebook and Google+