[TYPES/announce] Research associate/assistant positions at the University of Cambridge Computer Laboratory

Jonathan Hayman jonathan.hayman at cl.cam.ac.uk
Thu Apr 14 05:30:15 EDT 2016

Two or three post-doctoral positions are available at the University of
Cambridge Computer Laboratory on the European Research Council Advanced
Grant ECSYM (Events, Causality and Symmetry - the next generation
semantics). The positions are for one year, and it is hoped that
suitable candidates will be able to start work as soon as possible
after the closing date. The positions are for talented researchers in
theoretical computer science or mathematics, with expertise in the
areas of games and logic, concurrency, category theory, quantum
information, type theory and semantics.

This positions can be filled by appropriate candidates at research
assistant or research associate level, depending on relevant
qualifications and experience. Appointment at research associate level
is dependent on having a PhD (or equivalent experience). Where a PhD
has yet to be awarded appointment will initially be made as a research
assistant and amended to research associate when the PhD is awarded.

Informal enquiries should be directed to Glynn Winskel: 
gw104 at cl.cam.ac.uk.

Further details on the ECSYM project can be found at: 

To apply:
The closing date for applications is the 12th May 2016, though
early applications are encouraged.

More information about the Types-announce mailing list