[TYPES/announce] Post-doctoral position at University of Cambridge
pierre.clairambault at cl.cam.ac.uk
Wed Jun 20 06:02:38 EDT 2012
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
Details on how to apply can be found on
Application deadline: *** June 28, 2012 ***
More information about the Types-announce