From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1112 Path: news.gmane.org!not-for-mail From: Matthew Hennessy Newsgroups: gmane.science.mathematics.categories Subject: Research Positions Date: Fri, 23 Apr 1999 12:52:58 +0100 (BST) Message-ID: <14112.24346.837327.881377@rsund.crn.cogs.susx.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 1241017574 29560 80.91.229.2 (29 Apr 2009 15:06:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:14 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Thu May 6 23:23:49 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id WAA02465 for categories-list; Thu, 6 May 1999 22:28:59 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: VM 6.68 under 20.4 "Emerald" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 56 Xref: news.gmane.org gmane.science.mathematics.categories:1112 Archived-At: ____________________________________________________ My apologies if you receive this more than once! ____________________________________________________ UNIVERSITY OF SUSSEX RESEARCH FELLOWS IN THE FOUNDATIONS OF COMPUTING Two Research Fellows are required for a 2-year project entitled ``The Semantic Foundations of Mobile Computation'', under the direction of Prof. M. Hennessy and funded by the EPSRC. The project objectives include - the development of abstract foundational calculi for mobile systems in which the concepts of location, mobility, failure and security play an central role - the elaboration of behavioural equivalences for these calculi, and their associated algebraic theories - the construction of proof systems and methodologies for establishing properties of mobile systems. The project will start on 1/10/99 and salary will be related to the academic 1A scale. A Ph.D. in Computer Science or Mathematics or equivalent experience is required. In addition to normal research duties the successful candidate will be expected to provide some assistance to undergraduate teaching. To apply please submit applications to Matthew Hennessy School of COGS University of Sussex Falmer Brighton BN1 9QH UK Tel: +44 01273 678101 email: matthewh@cogs.sussex.ac.uk from whom more details of the project and the conditions of service are available. Applications should include - a detailed curriculum vitae, - names of three referees with their email addresses, - a statement outlining the candidates proposed contribution to the goals of the project, - copies (or URL references) of any relevant publications.