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

[Pierre Clairambault]

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 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 
http://www.cl.cam.ac.uk/~gw104/

Details on how to apply can be found on 
http://www.jobs.cam.ac.uk/job/-17842/

Application deadline: *** June 28, 2012 ***