Postdoc positions in Foundations of Distributed Systems

[A strong types background would be desirable for these.  Apologies
for multiple copies - Peter]

Two Research Associates - Foundations of Distributed Systems

      University of Cambridge Computer Laboratory

We expect soon to be in a position to appoint two postdoctoral
research associates, subject to confirmation of funding, on the
EC-funded Global Computing project PEPITO: 

  Peer-to-Peer Computing: Implementation and Theory, 

a collaboration between SICS (Sweden), EPFL
(Switzerland), INRIA Rocquencourt (France), KTH (Sweden), UCL
(Belgium) and the University of Cambridge.  The project as a whole
will study the design of decentralized distributed systems, with a
range of practical and theoretical work.  Details are at
http://www.sics.se/pepito/.  The Cambridge group will address
foundational issues such as:

 - sound type-theoretic support for version change
 - the semantics of failure at different levels of abstraction
 - the design and semantics of transactional primitives 
 - distributed algorithms for decentralized systems
 - process-calculus models for the above

Our previous work in some of these areas can be found at 
http://www.cl.cam.ac.uk/users/pes20/ and

Accordingly, we seek researchers with a strong background in one or
more of the following: Type Systems, Programming Language Semantics,
Programming Language Implementation, Process Calculi, Distributed
Algorithms, and Distributed Systems.  A PhD or equivalent research
background is required.

The Computer Laboratory provides a lively research environment, with
overlapping groups in Theory and Semantics, Systems, Automated
Reasoning, and Security, among others.  Details can be found at
http://www.cl.cam.ac.uk/Research/TSG/ and (for the Laboratory as a
whole) at http://www.cl.cam.ac.uk.  The physical environment is also good, 
following our recent move to a new building - see http://www.cl.cam.ac.uk/UoCCL

We expect to make two appointments, one for up to 3 years, and one for 1 year. 
 It is hoped that these will both start in January 2002 or as soon as possible 
thereafter.  Salaries will be on the RA1A scale, currently 18,471-26,229 per
annum depending on age and experience.

Applications should include a full CV, a description of your research
interests, pointers to relevant publications, and contact details for
2-3 referees.  They should be sent as soon as possible to

  Dr P Sewell
  Computer Laboratory
  JJ Thomson Avenue
  Cambridge   CB3 0FD 

  Tel: +44 1223 334624
  Email: Peter.Sewell@cl.cam.ac.uk

To be sure of full consideration, they should be received by 23
November 2001.  As time is short, please ask your referees to send
references directly to the above address.  Informal enquiries may be
made either to Dr Peter Sewell (as above) or to Dr Gavin Bierman
(Gavin.Bierman@cl.cam.ac.uk, +44 1223 334626).