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
JJ Thomson Avenue
Cambridge CB3 0FD
There is no closing date: the position will remain open until
filled. Informal enquiries may be made to the address above.