Deadline: 31 Jan. 2013
Applications are invited for two PhD studentships starting in September 2013 within the Theoretical
Computer Science Research Group. The topic area for these studentships includes formal verification
(underlying theory and tool development), probabilistic reasoning and model-checking and formal
program analysis (for example program optimisation using metrics other than simple speed). 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/QM-EECS-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, funded by a Queen Mary Principal’s studentship, 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 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'. 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 “Software Verification”. 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 31 January 2013.
Interviews are expected to take place during February 2
Applications are invited for two PhD studentships starting in September 2013 within the Theoretical
Computer Science Research Group. The topic area for these studentships includes formal verification
(underlying theory and tool development), probabilistic reasoning and model-checking and formal
program analysis (for example program optimisation using metrics other than simple speed). 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/QM-EECS-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, funded by a Queen Mary Principal’s studentship, 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 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'. 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 “Software Verification”. 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 31 January 2013.
Interviews are expected to take place during February 2
No comments:
Post a Comment