Applications are invited for a 3 year PhD studentship in the Department of Computing and Electronics at Oxford Brookes University. The student will join the Applied Formal Methods Research Group and will work on one of the projects below.
HOLI: a Holistic Theory of Systems’ Evolution
A Process for Risk-Driven Requirements Engineering and Analysis (APRES)
A collaborative project with the Department of Computer Science, UCL.
People at the Centre of Mobile Application Design (PACMAD)
More information about these projects can be found at http://www.brookes.ac.uk/brookesnet/graduateoffice/prospective/research/funding
The Applied Formal Methods Research Group is part of the Department of Computing and Electronics in the School of Technology. The Department provides undergraduate and postgraduate degrees in Computer Science and related disciplines. Details about the School can be found at http://tech.brookes.ac.uk/about
We are looking for enthusiastic candidates with:
- a solid background in Computer Science, shown by a good BSc: 2.1 or above and/or an MSc degree;
- a solid background in Mathematics; knowledge of software engineering methods;
- an appreciation of empirical techniques;
- good communication and collaboration skills.
As research deliverables we expect publications, software, and a PhD thesis. The studentship will start from enrolment on 20 September 2010 and is open to Home/EU and International students. The award will cover the cost of the full-time fees for three years and will include an annual stipend of £14,000.
If you have any queries about the projects, please contact:
Rachel Harrison: rachel.harrison@brookes.ac.uk
For more information about our research and this programme, see:
http://tech.brookes.ac.uk/research
For details on how to apply, contact tech-research@brookes.ac.uk.
