[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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



Reply via email to