[TYPES/announce] PhD studentships at University of Bath, UK
Guy McCusker
G.A.McCusker at bath.ac.uk
Mon Mar 2 09:33:12 EST 2009
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
More information about the Types-announce
mailing list