[Prev][Next][Index][Thread]

Research positions at Sussex





                       UNIVERSITY OF SUSSEX
            
            RESEARCH FELLOWS IN THE FOUNDATIONS OF COMPUTING

Two Research Fellows are required for a 3-year project entitled
``Foundations for the Integration of Concurrent Distributed and
Functional Computation'', under the direction of Prof. M. Hennessy and
funded by the EPSRC.

The aim of the project is to 

- provide a uniform coherent semantic foundation for concurrent,
distributed and functional behaviour;

- develop proof methodologies for establishing properties of process
descriptions expressed in specification languages using these
paradigms;

- develop prototypes of supporting verification systems.

The project will start on 1/10/95 and salary will be related to the
academic 1A scale. A Ph.D. in Computer Science or Mathematics or
equivalent experience is required. In addition to normal research
duties the successful candidate will be expected to provide some 
assistance to undergraduate teaching.

More details of the project and the conditions of service are available
at ftp://ftp.cogs.sussex.ac.uk/pub/users/matthewh/details.ps.

To apply please submit applications to 

Prof M Hennessy
School of COGS
University of Sussex
Falmer
Brighton BN1 9QH
UK

Tel: +44 01273 678101                      
email: matthewh@cogs.sussex.ac.uk

Applications should include a detailed curriculum vitae, names of
three referees with their email addresses and copies of any relevant
publications.