research position in Foundations of Distributed Systems

[please bring this to the attention of any suitable candidates 
- many thanks, Peter]

Research Associate or Assistant - Foundations of Distributed Systems
University of Cambridge Computer Laboratory

We are seeking to appoint a researcher in Foundations of Distributed
Systems, funded by the EC Global Computing project PEPITO. The project
as a whole is studying the design of decentralised distributed
systems, with a range of practical and theoretical work. There are two
main activities at the Cambridge site:

    * Programming language design for distributed computation. This
      includes type systems, operational semantics, and
      implementation; looking at support for marshalling, dynamic
      linking, version change, security, transactions, and mobility.

    * Modelling and analysis of real-world communications
      protocols. This includes post-hoc formal specification of UDP,
      TCP and sockets, using the HOL proof assistant; validation of
      the spec against captured traces by symbolic model-checking; and
      development and verification of higher-level distributed
      infrastructure - particularly P2P algorithms.

Some of our previous work in these areas is linked to from

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, Networking,
Distributed Algorithms, and Distributed Systems.

We will appoint either at postdoctoral or predoctoral level. For the
former, you should have (or expect soon to obtain) a PhD, or have an
equivalent research background. For the latter, you should have an
excellent first degree in appropriate topics.

This appointment will be for up to 1.5 years, to the end of December
2004, subject to availability of funding. Salary will be on the
Research Assistant or Research Associate scales, currently
18265-27339 per annum, depending on age and experience.

PEPITO, Peer-to-Peer Computing: Implementation and Theory, is a
collaboration between SICS(Sweden), EPFL (Switzerland), INRIA
Rocquencourt (France), KTH (Sweden), UCL (Belgium) and the University
of Cambridge. Details are at www.sics.se/pepito/.

The Computer Laboratory provides an lively research environment, with
overlapping groups in Theory and Semantics, Systems, Automated
Reasoning, and Security, among others. Details can be found at
www.cl.cam.ac.uk/Research/TSG/ and (for the Laboratory as a whole) at

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 Peter Sewell
Computer Laboratory
JJ Thomson Avenue
Cambridge CB3 0FD

Email: Peter.Sewell@cl.cam.ac.uk

There is no closing date: the position will remain open until
filled. Informal enquiries may be made to the address above.