From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6666 Path: news.gmane.org!not-for-mail From: Glynn Winskel Newsgroups: gmane.science.mathematics.categories Subject: Post-doctoral position (for posting - thanks!) Date: 05 May 2011 09:41:48 +0100 Message-ID: Reply-To: Glynn Winskel NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 X-Trace: dough.gmane.org 1304685199 29272 80.91.229.12 (6 May 2011 12:33:19 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 6 May 2011 12:33:19 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri May 06 14:33:15 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QIKDa-0007C8-FI for gsmc-categories@m.gmane.org; Fri, 06 May 2011 14:33:14 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:58917) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QIK9R-0000ix-K5; Fri, 06 May 2011 09:28:57 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QIK9M-0004ux-C2 for categories-list@mlist.mta.ca; Fri, 06 May 2011 09:28:52 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6666 Archived-At: 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, 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]