You should have a strong background in Computer Science, ideally in both logic and semantics and in computer architecture, and a keen desire to apply rigorous techniques to the problems of real multiprocessors. Possible PhD topics include, for example:
For a home student or `eligible' EU student (who has spent at least 3 years working or studying in the UK), the award would provide maintenance, tuition fees, and an industrial top-up (we would expect to apply to another source to fund college fees, of ~2.5k p.a.). For an exceptional non-eligible EU student, the same may be possible, otherwise the maintenance component would not be funded. Unfortunately the award does not fund non-EU international student fees.
Possible start dates are 10 April 2013 or 1 October 2013; it might also be possible to backdate to 1 January 2013.
Informal enquiries, including a CV and a brief description of your interests and relevant background, should be made by email to Peter Sewell.