1 PhD studentships in Software Verification |2021-2022 Scholarships Grants

Applications are invited for one PhD student starting in March 2013 within the Theoretical Computer Science Research Group. The topic area for these studentships includes formal verification (underlying theory and tool development) and program analysis. The projects undertaken under these studentships are 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://www.dcs.qmul.ac.uk/research/logic/QMEECS– TCS/Research.html.

The studentships 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 is for 3.5 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 Professor Dino Distefano (dino.distefano@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’.

Also Read PhD Studentship in Cybernetics Delivering Sustainable Energy Solutions in Ports: Energy storage and flow in cranes.

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 the title “Intelligent Sensing”. 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 15 January 2013.
Interviews are expected to take place during February 2013.