From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/916 Path: news.gmane.org!not-for-mail From: Samson Abramsky Newsgroups: gmane.science.mathematics.categories Subject: Post-doctoral fellowship Date: Mon, 09 Nov 1998 17:50:06 +0000 Organization: Dept. of Computer Science, University of Edinburgh Message-ID: <36472B4E.7E74@dcs.ed.ac.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017328 28295 80.91.229.2 (29 Apr 2009 15:02:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:02:08 +0000 (UTC) To: categories Original-X-From: cat-dist Mon Nov 9 16:32:31 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA32643 for categories-list; Mon, 9 Nov 1998 15:15:18 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 3.04 (X11; U; SunOS 5.6 sun4m) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:916 Archived-At: I recently posted a message about the availability of some post-doc positions on this list. I gave a reference to the University personnel department web pages for further details. Unfortunately, as soon as I had done so the personnel department expunged this information. I therefore repeat the posting, including some further details of the positions. Best wishes, Samson Abramsky ---------------- Two 2-year postdoctoral fellowships are available on the UK EPSRC-funded grant ``Foundational Structures in Computer Science'', to work on topics related to game semantics. I would be very grateful if you could bring these positions to the attention of anyone in your group who might be interested. Anyone wishing to discuss the project informally is welcome to contact me by email. Further details of the positions: 1. To investigate the applications of game semantics to programming languages and the computational interpretation of Classical Logic. The applicant should have a strong background in logic and semantics, and preferably some familiarity with recent developments in Game Semantics. Duration: 12 months. Ref: 896767 2. To investigate applications of game semantics to concurrent systems. The applicant should have a good background in concurrency and semantics. Both these posts are associated with the project ``Foundational Structures in Computer Science''. The Principal Investigator is Professor Samson Abramsky. Duration: 12 months. Ref: 896768 Salary for these positions will be in the range 15735 to 20107 (UK pounds). Further particulars including details of the application procedure should be obtained from: The Personnel Office, The University of Edinburgh. 1 Roxburgh Street, Edinburgh EH8 9TB Tel: 0131-650-2511 (24 hour answering service) quoting the appropriate reference number closing date: 5 November 1998 Late applications will b considered.