This project is no longer listed in the FindAPhD database
and may not be available.
The successful candidate will join in an active research project that is trying to combine the advantages of several of the most promising ways of reasoning about concurrent programs. This research area is becoming ever more important because of the advent of many core systems.
One approach is Cliff Jones’ rely/guarantee thinking and another is the work on separation logics. This is not a competition – we are looking for how to get the best from a combination of the two avenues of research (and possibly others). In fact, we run a productive series of research meetings with the (London/Cambridge) researchers working on separation logics.
Cliff has successfully supervised over twenty PhDs and finds it best for the candidate/supervisor to develop the detailed thesis proposal in the first months of cooperation but likely themes include a combination with Carroll Morgan’s refinement calculus and ways of subsuming linearisability arguments.
The general project funding is expected to include ARC support for a project with University of Queensland as well as EPSRC funding.
You should have either a First class honours degree in Computing Science, Mathematics, or other relevant science or engineering subject, or a or 2.1 in Computing Science, Mathematics or other relevant science or engineering subject and a distinction level Masters degree in a related subject. Equivalent experience will also be considered.
Funding Notes:
The stipend is £14,790 (2012/13) per year.
Depending on how you meet the EPSRC criteria (http://www.epsrc.ac.uk/funding/students/pages/eligibility.aspx.) you may be entitles to a full or partial award. A full award covers tuition fees at the UK/EU rate and an annual stipend of £14790. A partial award covers fees at the UK/EU rate only. The studentship is not available for candidates from outside of the EU.
References:
You must apply through the University's online postgraduate application form inserting the reference number CS025 on the first page of the application form and select PhD Computer Science as the programme of study. Only mandatory fields need to be completed and a covering letter, CV and (if English is not your first language) a copy of your English language qualifications must be attached. The covering letter must state the title of the studentship, quote the reference number CS025 and describe how your research interests fit with the topic of the research project outlined in the advertisement (max. two pages). If you have already published research papers a list of these providing bibliographic details should be included in the covering letter.
You should also send your covering letter and CV to the Postgraduate Secretary, cs.pg@ncl.ac.uk.