[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.tzevele...@qmul.ac.uk).
To apply, please follow the on-line process at
www.qmul.ac.uk/postgraduate/applyresearchdegrees/
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:
http://www.eecs.qmul.ac.uk/phd/how-to-apply
The closing date for the applications is 24/07/2016.
Interviews are expected to take place the week of 25 July 2016.
