[FOM] Postdoc at Queen Mary University of London (semantics and verification)

[Paulo Oliva]

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 (nikos.tzevelekos at qmul.ac.uk) are very welcome.
--
Paulo Oliva
Royal Society University Research Fellow
Queen Mary University of London
London E1 4FZ
+44 (0) 207 882 5255
http://www.dcs.qmul.ac.uk/~pbo



-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140430/0d2500d2/attachment.html>