From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/423 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: research position available at Cambridge Date: Wed, 2 Jul 1997 13:48:14 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016957 25687 80.91.229.2 (29 Apr 2009 14:55:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:57 +0000 (UTC) To: categories Original-X-From: cat-dist Wed Jul 2 13:48:35 1997 Original-Received: by mailserv.mta.ca; id AA24928; Wed, 2 Jul 1997 13:48:14 -0300 Original-Lines: 52 Xref: news.gmane.org gmane.science.mathematics.categories:423 Archived-At: Date: Wed, 02 Jul 1997 14:15:53 +0100 From: Philippa Gardner [Apologies if you receive multiple copies of this announcement.] ----------------------------------------------------------------- Calculi for Interactive Systems: Theory and Experiment Postdoctoral Research Position University of Cambridge Computer Laboratory A research position is available as part of an on-going project consisting of two interlinked strands: 1. the development of action calculi, a framework for exploring many models of interactive behaviour, such as the pi calculus and its extensions, lambda calculi, calculi for security and object-oriented calculi; 2. the design and study of foundational calculi based upon the pi calculus, and accompanying prototype programming languages, in which to describe and analyse migratory distributed systems. We are looking for someone to focus on the dynamics of action calculi, in particular on issues such as behavioural congruences, the study of examples, and the analysis of the expressiveness of different calculi. Applications are encouraged from those with a background in some of the following: process algebra, operational semantics, type theory and category theory. Knowledge of action calculi would be helpful but not necessary. The start date is flexible. The position is for between two and three years, depending on the start date and the age of the applicant. For further information regarding action calculi, see the web page http://www.cl.cam.ac.uk/users/pes20/actioncalculi.html If you are interested in the research position, please contact Philippa Gardner at Philippa.Gardner@cl.cam.ac.uk. It would be helpful if you would enclose a CV and brief research summary. Robin Milner Philippa Gardner Peter Sewell