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 ( mt@eecs.qmul.ac.uk ) 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.Â
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.