Research Studentships

                UNIVERSITY OF SUSSEX

           Postgraduate Scholarships in Computer Science

The School of Cognitive and Computing Sciences contains a strong and
very active research group in Theoretical Computer Science.  Major
areas of research include

The  Foundations of Distributed Computing,
The Semantics of Programming and Specification Languages,  
Software Tools for Verification, 
Type Systems, 
The Application of Logic to Computer Science.

Applications are invited from students with good undergraduate degrees
in Computer Science or Mathematics to join this group to study towards
a D.Phil. degree. Two scholarships are available for suitably
qualified candidates for the October 1995 entry. These cover tuition
fees (up to the level payable by HEC students) and maintenance for
three years. The level of the maintenance grant is linked to the
standard grant offered by EPSRC which for 1994/95 was set at  4910
pounds per annum.

Scholarship I:

This is an Earmarked Studentship awarded by the EPSRC Mathematics
Programme. The successful candidate will be expected to work on the

``Algebraic structures for modelling concurrent and functional

The object of this project is to develop the appropriate mathematical
framework within which fully abstract denotational models for
high-level languages combining functional and distributed computation
can be constructed using appropriate domain equations.

Scholarship 2:

This is funded directly with by the School of COGS.  For this
scholarship the research project is open but must complement the
current research interests of the faculty in the School working
in Theoretical Computer Science.

Further Information

A list of current Computer Science Technical Reports is available 

WWW  http://www.cogs.susx.ac.uk/reports.html
FTP  ftp.cogs.susx.ac.uk under the directory pub/reports

which give a good indication of the recent research activity 
of the group.

More detailed information on the two studentships is 
available from  matthewh@cogs.susx.ac.uk

General information about postgraduate studies is contained in 
the booklet   ``COGS Postgraduate Research 1995''
available from 

WWW http://www.cogs.susx.ac.uk/grad/

or a hardcopy may be obtained from lindat@cogs.susx.ac.uk

How to Apply

Fill in the standard University of Sussex application
form, available from

Postgraduate Admissions
School of Cognitive and Computing Sciences
University of Sussex
Brighton BN1 9QH

or by emailing lindat@cogs.susx.ac.uk,

and note in the finance section that you wish to be considered for the
TCS scholarships. As part of the application you are requested to arrange
for three references to be sent directly to COGS and your application
will not be considered until all of these have been received.