PhD Studentship

Please could you bring this to the attention of any suitable candidates?
My apologies to those who receive multiple copies.



        **** Research studentship leading to a PhD ****
                   University of Manchester,
		Department of Computer Science.

A new research project, `Topological Duality for Modal, Temporal and
Program Logics', has recently been awarded funding by the Engineering
and Physical Sciences Research Council. A three-year PhD studentship 
is on offer on this project. This is an opportunity to join an 
active research group working in applied logic and theoretical 
Computer Science. The student will gain training in research skills 
and learn how to apply mathematics to fundamental problems in 
Computer Science. The Computer Science Department of Manchester 
University is a large and active department, with research activities 
in many aspects of Computer Science. 

The project aims to use new results in modal logic to describe the
behaviour of computing systems. The student will work on applications to 
dynamic logic (a logic of system states), and through this work
will gain a thorough training in modal logic, category theory,
semantics and theoretical computer science. 

Prerequisites are a good degree, at least half of which is mathematics, 
including knowledge of algebra, topology and logic. Some knowledge of
Computer Science, though not essential, would be useful.

The funding covers fees and subsistence for UK citizens, or fees only
for EU citizens. The start date is as soon as possible, and not later
than 1st October 1998.

Investigators: Dr. David Rydeheard and Dr. Harold Simmons,
               with Dr. Barnaby Hilken.

For further details contact: Dr. David E. Rydeheard,
   email: david@cs.man.ac.uk, tel: +161 275 6164

For application forms contact: Mrs. Janet Boyd,
   The Postgraduate Office, Department of Computer Science,
   The University, Oxford Road Mancheter, M13 9PL.
   Quoting: GR/L85756

   Or email: janetb@cs.man.ac.uk