[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
UNIVERSITY OF SUSSEX
RESEARCH FELLOW IN THE FOUNDATIONS OF COMPUTING
A Research Fellow is 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
- develop prototypes of supporting verification systems.
The project will start on 1/4/96 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 electronic applications to
Applications should include a detailed curriculum vitae, names of
three referees with their email addresses.