[TYPES/announce] Microsoft Funded PhD Position at Royal Holloway University of London

[Matthew Hague]

MICROSOFT PHD SCHOLARSHIP IN THE VERIFICATION OF CONCURRENT HIGHER-ORDER PROGRAMS

We are offering a PhD position fully funded for 3 years which aims to develop
the theoretical underpinnings and successful practical applications of
higher-order verification to concurrent systems, resulting in new program models
and tools applicable to real-world code.

The position is due to commence in October 2014 and will be held in the
Department of Computer Science at Royal Holloway, University of London,
supervised by Dr. Matthew Hague (http://www.cs.rhul.ac.uk/home/hague/).  The
position may also include an internship at a Microsoft research laboratory.

Higher-order programming features are increasingly supported by modern
languages, such as F Sharp, Python, Scala, Haskell, OCaml and C++.  Thus, this
forms an increasingly essential topic for verification for which there have been
several important recent advances.  Furthermore, it is clear that concurrency
will become the dominant programming paradigm, due to both the ubiquity of
multi- and many-core machines and the increasingly distributed nature of
computation.



THE DEPARTMENT OF COMPUTER SCIENCE, ROYAL HOLLOWAY UNIVERSITY OF LONDON

The Department offers a very vibrant research culture. In the last research
assessment (RAE 2008), we ranked 11th in the UK for the quality of our research
output. Our research is strongly supported by external funding from various
sources, including companies. The University itself was ranked 102nd in the
Times HE World Rankings 2013, which equates to 12th place in the UK. We are
situated in a beautiful campus in Egham, Surrey, ranked alongside Oxford and
Cambridge as one of the twelve most beautiful universities in the world. We are
both close to Central London and 10 minutes by taxi from Heathrow Airport. 

For more information about the Departmental of Computer Science at Royal
Holloway, visit our web-site in http://www.rhul.ac.uk/computerscience/.



REQUIREMENTS

A good degree in Computer Science, Engineering, Mathematics, or related
disciplines. 


APPLICATION PROCESS

Applicants should contact matthew.hague at rhul.ac.uk with an expression of
interest in the position and an up to date CV.  Short-listed candidates will
then be interviewed before a final decision is taken.


IMPORTANT DATES

31st May 2014: deadline for applications
July and August 2014: short-list interviews
October 2014: start of studies


FINANCIAL

The position will be funded for three years.  Funding will cover

    + Tuition fees
    + Stipend for living expenses
    + Up to £1000 for a laptop
    + Some funding for travel expenses