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

Research position at Sussex


                       UNIVERSITY OF SUSSEX
            
            RESEARCH FELLOW IN THE FOUNDATIONS OF COMPUTING

One Research Fellow is required  to join the EPSRC funded project
entitled ``Foundations for the Integration of Concurrent Distributed
and Functional Computation'', under the direction of
Matthew Hennessy.

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 has already been running for approximately 18 months
and work has concentrated on two streams of research:

     - development of languages, type systems and behavioural 
       theories for mobile computing, where independent processes roam
       widely distributed networks in search of resources and information.
    
     - denotational models for languages combining higher-order
       functional notation with the pi-calculus (examples include
       Cml and core Facile)

The successful candidate will be expected to carry out research 
related to one of these topics. The appointment will be for a period
of two years, starting on 1/04/98,  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.gz

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, 
    - a statement  outlining the candidates proposed contribution
      to the goals of the project,
    - copies (or URL references) of any relevant publications.