[TYPES/announce] Postdoc Position at Queen Mary

[Nikos Tzevelekos]

We are hiring one research fellow with a strong background in 
programming languages and verification, who can contribute to the design 
and implementation of a Java heterogeneous compilation tool, informed by 
semantic models.

The deadline for applications is 08 MAY 2017.

The position is for 12 months with the possibility of extension to 30 
months. It is based in the School of Electronic Engineering and Computer 
Science, Queen Mary University of London, under the supervision of Nikos 
Tzevelekos, and is part of a joint project with Dan Ghica and the 
University of Birmingham.

The project is financed by the EPSRC grant "System-Level Game Semantics: 
A semantic framework for composing systems”, in collaboration with 
external partners Aarhus University, Yale University, and Facebook.

Informal inquiries can be sent to nikos.tzevelekos at qmul.ac.uk.
Job link: http://bit.ly/2ohUkEM

Please share.


Nikos Tzevelekos
Senior Lecturer in Computer Science
Queen Mary University of London

Valuing Diversity & Committed to Equality
QMUL is proud to be a London Living Wage Employer