Postdoc - wide area programming

[We encourage applications from TYPES people for the following
position - it is likely to involve work with novel type systems;
a types background would be an advantage.   Peter]

                Postdoctoral Research Associate
 Wide-area programming: Language, Semantics and Infrastructure Design

        Computer Laboratory, University of Cambridge

We are seeking applicants for a Postdoctoral Research Associate on the
EPSRC-funded project 

   Wide-area programming: Language, Semantics and Infrastructure Design

The project is studying the foundations of distributed programming,
looking at problems of distributed infrastructure, security, failure,
mobility and modularity in the context of language design, implementation and
semantics. Experience in semantics, distributed systems and/or
language implementation would be advantageous --  the possible work
can range from theoretical innovation to design and implementation,
according to the interests and abilities of the successful candidate.

See http://www.cl.cam.ac.uk/users/pes20/advert-ra.html for further

The project is associated with the Theory and Semantics group and the 
Opera (Distributed Systems) group of the University of Cambridge
Computer Laboratory. For general information about the Computer
Laboratory and its research see http://www.cl.cam.ac.uk/.

The post is available for up to 3 years, to start on 1 October 2000 or
shortly thereafter.  The initial salary will be in the range 16286 -
24479 pounds per annum, depending on age and experience. Informal
inquiries may be addressed to Dr P Sewell at Peter.Sewell@cl.cam.ac.uk.
Applications, with curriculum vitae, a statement of research interests, and the
names and addresses of two referees, should be sent to Dr P Sewell,
University of Cambridge Computer Laboratory, Pembroke Street,
Cambridge, CB2 3QG.  To be sure of full consideration, they should be
received by 28 May 2000.

Peter Sewell
Robin Milner