PhD studentships in Computer Science at Bath

[Guy McCusker <G.A.McCusker@bath.ac.uk>]

The studentships advertised below may be of interest to readers of the
categories list:
note especially that John Power is available to supervise research in
category theory,
with particular application to computer science.

-------

The Department of Computer Science at the University of Bath is
currently recruiting PhD research students in the area of Mathematical
Foundations.  A number of fully-funded studentships are available to
cover fees and
an annual stipend, subject to eligibility.

The Mathematical Foundations group at Bath conducts research in:
* logic and semantics of programming languages (Laird, McCusker,
Power, Pym)
* category theory and proof theory (Guglielmi, Power, Pym)
* computer algebra, computational geometry, cryptography, networks
and security  (Bradford, Davenport, Richardson, Vorobjov)
* logic programming, answer-set programming, artificial
intelligence and multi-agent systems (De Vos, Nickles, Padget)

For more details on our PhD programme, please visit
http://www.bath.ac.uk/comp-sci/postgraduate/phd/index.html

A complete list of staff members in Mathematical Foundations and their
research interests can be found at
http://www.cs.bath.ac.uk/department/mathematical-foundations/staff-research-interests.html

Informal enquiries may be made to any member of
staff in the department.  An application form may be downloaded from
http://www.bath.ac.uk/prospectus/postgrad/apply/

To be considered for a funded place, applications should normally be
received by April 2nd 2009.

Further information about the department is available at http://www.bath.ac.uk/comp-sci