From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4366 Path: news.gmane.org!not-for-mail From: Alex Simpson Newsgroups: gmane.science.mathematics.categories Subject: Research Associate in Semantics of Computation Date: Tue, 15 Apr 2008 10:39:59 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=ISO-8859-1;format="flowed" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019899 12934 80.91.229.2 (29 Apr 2009 15:44:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:44:59 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Apr 15 10:17:29 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 15 Apr 2008 10:17:29 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Jlkvf-0002jz-8Y for categories-list@mta.ca; Tue, 15 Apr 2008 10:10:31 -0300 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 15 Original-Lines: 35 Xref: news.gmane.org gmane.science.mathematics.categories:4366 Archived-At: Postdoctoral Research Associate in the Semantics of Computation The Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh invites applications for a postdoctoral research associate, tenable for up to three years, on the EPSRC-funded project "Linear Observations and Computational Effects" (EPSRC research grant EP/F042043/1). The project involves the development of category-theoretic models of computation and associated type theories, and the application of these to establishing behavioural properties of programming constructs. The successful applicant will hold a PhD in a relevant area of theoretic computer science or mathematics and will have a good knowledge of category theory and/or type theory and their computer science applications. The post will be taken up as soon as possible. Fixed Term: Up to 3 years Closing date: 30th April 2008 For more information, go to vacancy ref. 3009010 at http://www.jobs.ed.ac.uk/ -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: Alex.Simpson@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 667 7209 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.