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

Sam Staton sam.staton at cl.cam.ac.uk
Fri May 6 11:52:00 EDT 2011

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,  
preferably with expertise in all the areas of games and logic,  
concurrency, types, category theory.

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 at http://www.admin.cam.ac.uk/offices/hr/jobs/vacancies.cgi?job=8130

More information about the Types-announce mailing list