The full version of this announcement is available.
Applications are invited from students with good undergraduate degrees in Computer Science or Mathematics to join the Theoretical Computer Science group of the School of Cognitive and Computing Sciences, 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 project: Algebraic structures for modelling concurrent and functional computation.
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 by:
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 on WWW or a hardcopy may be obtained from lindat@cogs.susx.ac.uk
How to Apply. See the full version of this announcement.