[TYPES/announce] Research Fellow Positions at Birmingham and QMU London

[Dan Ghica]

We are hiring two research fellows with strong backgrounds in the theory and practice of programming languages, in particular functional languages, who can contribute to the design and implementation of compilers and compiler-related tools informed by semantic models and type-theoretic frameworks.

The deadline for applications is SEPTEMBER 27, 2017.

One position is based in the School of Computer Science, University of Birmingham, under the supervision of Dan Ghica. The other is in the School of Computer Science, Queen Mary University of London, under the supervision of Nikos Tzevelekos. Both positions are for 18 months with the possibility of extension to 36 months.

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

Informal inquiries can be sent to Dan (dan at ghica.net) and Nikos (nikos.tzevelekos at qmul.ac.uk).

QMUL job link : bit.ly/QMUL-RF
BHAM job link : bit.ly/BHAM-RF

Please share.


Dr. Dan R. Ghica
Head of Education
Reader in Semantics of Programming Languages
University of Birmingham, School of Computer Science
http://www.cs.bham.ac.uk/~drg/

To set up an appointment please use
http://doodle.com/danghica

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160830/943911fb/attachment.asc>