[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.tzevele...@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
