[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 
 o  provide a uniform coherent semantic foundation for concurrent,
    distributed and functional behaviour;
 o  develop proof methodologies for establishing properties of process
    descriptions expressed in specification languages using these
    paradigms;
 o  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 URL:
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.