Logic List Mailing Archive

PhD student position in theory of higher-order verification, London (U.K.), Deadline: 31 May 2014

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@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