From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/117 Path: news.gmane.org!not-for-mail From: Guy McCusker Newsgroups: gmane.science.mathematics.categories Subject: PhD studentships in Computer Science at Bath Date: Mon, 2 Mar 2009 15:10:13 +0000 Message-ID: Reply-To: Guy McCusker NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v930.3) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1236081473 18962 80.91.229.12 (3 Mar 2009 11:57:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 3 Mar 2009 11:57:53 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Tue Mar 03 12:59:09 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1LeTHA-0002M4-2t for gsmc-categories@m.gmane.org; Tue, 03 Mar 2009 12:59:08 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LeScx-0004Ro-IO for categories-list@mta.ca; Tue, 03 Mar 2009 07:17:35 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:117 Archived-At: 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