Postdoctoral position on "Program Reasoning with Nominal Game Semantics", London (U.K.)

The School of Electronic Engineering and Computer Science at Queen Mary University of London is seeking to appoint a Postdoctoral Research Assistant (duration: 16 months) as part of 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.

Deadline: 17 May 2014. The official advert can be found at http://www.jobs.qmul.ac.uk/4740. Informal enquiries (nikos.tzevelekos at qmul.ac.uk) are very welcome.