[J6] _________________________ AMAST Links 02 06

Research Fellows in the Foundations of Computing

University of Sussex

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 .

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.