Human Resources

Postdoctoral Research Assistant - QMUL16073

Department: School of Electronic Engineering & Computer Science
Salary: £33,615 - 37,411 per annum (Grade 4)
Reference: QMUL16073
Location: Mile End
Date posted: 25-Oct-2018
Closing date: 25-Nov-2018

Job profile Apply online


This post offers an exciting opportunity to work on an EPSRC-funded Programme Grant in collaboration with leading researchers from University College London, Imperial College and the London School of Economics, as well as with industrial partners including Amazon and Facebook. 

“Interface Reasoning for Interactive Systems (IRIS)” is a multi-million pound flagship project whose aim is to whose aim is develop and apply a theory of analysis and verification for large-scale systems, and the interactions within and between them, focusing on interfaces between systems. It takes as basis semantic techniques, such as Separation Logic, recently developed by members of the project and now being used as part of the tool chain in both Facebook and Amazon Web Services. The project aims to radically extend the capability of these techniques on existing applications and by applying them in a wide range of other application contexts at different levels of scale. The purpose of this post is to contribute to the development of the underlying mathematical and logical theory, ensuring a single underpinning methodology. It provides an exciting opportunity to carry out fundamental work in Computer Science and to benefit from extensive interaction with leading researchers in more applied areas.

Applicants must have a PhD (awarded or reasonably expected to be awarded within 3 months) in a relevant area (relevant areas include logic, category theory, semantics and program verification)

Solid knowledge of semantics relevant to project workpackage, and extensive experience in semantic techniques as applied to theoretical computer science are essential for this post.

A solid publication track record as appropriate for the candidate’s career stage is desirable. Candidates should have willingness to work flexibly in order to achieve project demands including attending general project meetings and to work closely with researchers on other components of the project.

The post is a full time, fixed term appointment for the period of 36 months. Starting salary will be in the range of £33,615 – 37,411 per annum inclusive of London Allowance. Benefits include 30 days annual leave, pension scheme and interest-free season ticket loan.

Candidates must be able to demonstrate their eligibility to work in the UK in accordance with the Immigration, Asylum and Nationality Act 2006. Where required this may include entry clearance or continued leave to remain under the Points Based Immigration Scheme.

Informal enquiries should be addressed to

Prof Edmund Robinson at  or on +44 (0) 020 7882 5209.

Details about the school can be found at,

Details about the IRIS project can be found at

To apply, please click the link below.

The closing date for applications is 25 November 2018.   Interviews are expected to be held shortly thereafter.

Valuing Diversity & Committed to Equality

QMUL is proud to be a London Living Wage employer


Apply online