[TYPES/announce] PhD Studentship at Queen Mary

Nikos Tzevelekos nikos.tzevelekos at qmul.ac.uk
Mon Jul 4 11:38:20 EDT 2016

PhD Studentship in Semantics and Verification of Heterogeneous Programs

Applications are invited for a fully-funded PhD studentship within the 
Theory Group at Queen Mary University of London, as part of a project 
which aims to develop a unified semantic framework for heterogeneous 
software systems and apply it to compositional software compilation and 
verification. Cloud computing and heterogeneous computing are widely 
acknowledged to dominate the software landscape in the foreseeable 
future. The recent work on System-Level Games provides a semantic 
framework for modelling low-level code interactions involving resources 
shared between a program and its environment. This project will apply 
the framework for deriving compositional analysis techniques for the 
compilation and verification of heterogeneous programs.

All nationalities are eligible to apply for this studentship, which will 
start in October 2016. The studentship is for three years, and covers 
student fees as well as a tax-free stipend of £16,057 per annum. 
Candidates must have a 2:1 degree or equivalent, and/or a good MSc 
Degree, in Computer Science or a related discipline. The ideal candidate 
should be creative and motivated in the studying of semantics and 
verification of programming languages. Good coding skills will be an 
advantage, and applicants will have at least good knowledge of 
programming languages such as C/C++, Java, Python, OCaml. Analytical and 
good communication skills are also welcome.

The PhD supervisor will be Dr Nikos Tzevelekos. The project will be 
based in the School of Electronic Engineering and Computer Science 
(EECS), and the student will join a world-leading centre for research on 
logical methods for reasoning about computer systems in the Theory Group 
(http://theory.eecs.qmul.ac.uk/). The position will be integrated in the 
EPSRC project "System-Level Game Semantics: A unifying framework for 
composing systems", which is in collaboration with the University of 
Birmingham. Informal enquiries about the studentship can be made by 
email to Dr Tzevelekos (nikos.tzevelekos at qmul.ac.uk).

To apply, please follow the on-line process at
click on the list of Research Degree Subjects, select "Computer 
Science", and follow the instructions on the right-hand side of the web 
page. Please note that instead of the Research Proposal we request a 
Statement of Research Interests. Your statement should answer two 
questions: (i) Why are you interested in the topic described above? (ii) 
What relevant experience do you have? Your statement should be brief: no 
more than 500 words or one side of A4 paper. In addition we would also 
like you to send a sample of your written work (e.g. excerpt of final 
year dissertation or published academic paper). More details can be 
found at:

The closing date for the applications is 24/07/2016.
Interviews are expected to take place the week of 25 July 2016.

More information about the Types-announce mailing list