1 PhD studentship in Verifying Software at Large Scale



Applications are invited for one PhD studentship starting in September 2013 within the Theoretical Computer Science Research Group. The topic area for this studentship includes formal program analysis (including tool development), automated testing and software model-checking, as well as work towards distributed systems. The project undertaken under this studentship is expected to fit into the wider research programme of the group, which has widespread recognition for its research in these areas, including the recent award of the Needham prize to Prof Distefano. For examples of the kind of work being undertaken see http://theory.eecs.qmul.ac.uk/research/.

The studentship will be based in the School of Electronic Engineering and Computer Science (EECS) www.eecs.qmul.ac.uk at Queen Mary University of London, in the Theoretical Computer Science Research Group.

This studentship, funded by the School of Electronic Engineering and Computer Science, is for 3 years and will cover student fees and a tax-free stipend starting at £15,590 per annum. Candidates should have a first class honours degree or equivalent, or a strong Masters Degree, in computer science, mathematics, physics or electronic engineering. Please contact Dr Michael Tautschnig ( [email protected] ) if you would like to know more details, or have any queries about how to apply.

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. 

Also Read  PhD Studentship in Medical Science

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. Mark clearly the statement with Your Name and the title “Verifying Software at Large Scale”. 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: www.eecs.qmul.ac.uk/phd/apply.php

The closing date for the applications is 30 August 2013.    

Interviews are expected to take place in early September 2013.

Leave a Reply

Your email address will not be published. Required fields are marked *