[TYPES/announce] Post-doctoral Position at the University of Cambridge

Pierre Clairambault pierre.clairambault at cl.cam.ac.uk
Tue May 21 10:53:47 EDT 2013

A post-doctoral position is 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 position is initially for one year, starting after 1 July 2013, with 
the possibility of renewal after that period. The position is for a 
talented researcher in theoretical computer science or mathematics, with 
expertise in several of the areas of games and logic, concurrency, 
category theory, type theory and semantics.

Further details on the ECSYM project can be found at 

Details on how to apply can be found on 

Application deadline: June 16, 2013

More information about the Types-announce mailing list