[TYPES/announce] Postdoc at Queen Mary University of London (semantics and verification)

[Nikos Tzevelekos]

Postdoctoral Research Assistant
School of Electronic Engineering and Computer Science
Queen Mary University of London

Duration: 16 months
Salary: £31,113 - £34,626 pa
Deadline: 17 May 2014

Applications are invited for a postdoctoral position in the area of 
semantics-based software verification, on the EPSRC-funded project 
"Program Reasoning with Nominal Game Semantics".

We are looking for candidates with a strong background in programming 
language semantics and/or topics in verification, who can contribute to 
the design and implementation of program logics for higher-order programs.

The project will be led by Nikos Tzevelekos. Other members of the School 
at Queen Mary working on related topics include Dino Distefano, Pasquale 
Malacaria, Michael Tautschnig and Greta Yorsh.

The official advert can be found at http://www.jobs.qmul.ac.uk/4740

Informal enquiries are very welcome.