The closing date for the applications is 31st. January 2012.
Interviews are expected to take place during February 2012.
Note: this is one of three related PhD studentships in the Theory Group at Queen Mary's School of Electronic Engineering and Computer Science (EECS).
Queen Mary, University of London - School of Electronic Engineering and Computer Science
See this job advert at Jobs.ac.uk
Applications are invited for a PhD Studentship starting in September 2012, working with Dr Paul Curzon www.eecs.qmul.ac.uk/~pc as the main supervisor. The goal of this project is to apply formal verification techniques, more normally used in areas such as aviation software and chip design, to healthcare ICT systems so as to improve patient safety. In the UK about 10,000 adverse events are reported per year due to errors using such systems. Many are due to poor human-computer system design.
The PhD will develop a tool-supported methodology for uncovering critical deficiencies in the design of healthcare ICT systems that could lead to systematic human error. The innovation of the proposed approach is that it will focus on how the availability of information resources constrains the activities users carry out. You will gain in-depth knowledge of the application of formal methods to healthcare human-computer interaction and experience working in an interdisciplinary research team linked to the CHI+MED project (www.chi-med.ac.uk), and you will be encouraged to develop your own research ideas within this broad framework.
The studentship is based in the School of Electronic Engineering and Computer Science (EECS) www.eecs.qmul.ac.uk at Queen Mary, University of London, in the Theory Group, www.dcs.qmul.ac.uk/research/logic/QM-EECS-TCS which has a world-leading reputation for fundamental theoretical work, with practical impact on understanding and creating robust reliable software. The student will also be part of the internationally leading Interaction, Media, and Communication group (www.dcs.qmul.ac.uk/research/imc/).
This studentship, funded by a Queen Mary EPSRC Doctoral Training Account, is for 3.5 years and will cover student fees and a tax-free stipend starting at £15,590 per annum.
Further details of the EPSRC scheme see (http://www.epsrc.ac.uk/funding/students/dta/Pages/default.aspx) including terms and conditions. Applicants must be UK nationals or residents as defined here:http://www.epsrc.ac.uk/funding/students/pages/eligibility.aspx
Candidates should have a first class honours degree or equivalent, or a strong Masters Degree, in mathematics or computer science: applications from candidates who have studied mathematics or computer science as part of a joint degree with any discipline will be welcome. Please contact Paul Curzon Paul.Curzon@eecs.qmul.ac.uk if you would like to know more, 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. 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 31st. January 2012.
Interviews are expected to take place during February 2012.
Previous job descriptions for posts at UCL, QMUL and Swansea that have now been filled can be found below.
Please note that these EPSRC-funded CHI+MED jobs are now closed
UCL = University College London, QMUL = Queen Mary, University of London