Re: Research Associates - Foundations of Distributed Systems

[For bureaucratic reasons we have had to extend the closing date for
these positions, hence the remailing. Apologies for multiple copies]

An html version of the following can be found at

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 /contacts/.

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 21
December 2001, though the positions will remain open until filled.  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).