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,
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.
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.
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.
A list of current Computer Science Technical Reports is available
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 email@example.com
General information about postgraduate studies is contained in
the booklet ``COGS Postgraduate Research 1995''
or a hardcopy may be obtained from firstname.lastname@example.org
How to Apply
Fill in the standard University of Sussex application
form, available from
School of Cognitive and Computing Sciences
University of Sussex
Brighton BN1 9QH
or by emailing email@example.com,
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.