[TYPES/announce] Three UK Post-graduate PhD studentships in TOC

Paulo Oliva paulo.oliva at eecs.qmul.ac.uk
Wed Dec 14 01:56:22 EST 2011


[Eligibility: UK student or EU student who has been living in the UK for the
 past 3 years]

School of Electronic Engineering and Computer Science
Queen Mary University of London

Applications are invited for three PhD Studentships starting in September 2012

 * Paul Curzon, Formal verification of healthcare information systems 

 * Ursula Martin, Crowdsourced math: doing mathematics on the web 

 * Paulo Oliva, Game theory and higher-order computability 

The students will be part of 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.eecs.qmul.ac.uk/research/logic/QM-EECS-TCS 

The group has a world-leading reputation for fundamental theoretical work, with

practical impact on understanding and creating robust reliable software. The group

comprises 30 academic and research staff, and formed around a third of QMUL’s RAE

2008 Computer Science submission, ranked 8th in the UK for output quality. Recent

strategic investment has included a new Professor, Byron Cook (a joint appointment

with Microsoft Research, who also sponsor O’Hearn’s chair through the Royal Academy

of Engineering); and 3 new lecturers. The group holds 8 competitive external

fellowships from EPSRC, Royal Academy of Engineering and Royal Society; £14 million

in external funding, including £10 million from EPSRC; and £800K from industry and

UK and US government agencies. Major EPSRC projects include two multimillion programme

grants (O’Hearn, Cook; Curzon), and a £3 million Knowledge Transfer grant (Martin). 

For further details and instructions on how to apply see:

Paulo Oliva
Royal Society University Research Fellow
Queen Mary University of London
London E1 4NS
+44 (0) 207 882 5255

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20111214/c10bece0/attachment.html>

More information about the Types-announce mailing list