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 *** [For admin and other information see: http://www.mta.ca/~cat-dist/ ]