From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5550 Path: news.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories Subject: PhD Position Date: Wed, 27 Jan 2010 18:13:03 +0000 Message-ID: Reply-To: Neil Ghani NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v753.1) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1264636305 7236 80.91.229.12 (27 Jan 2010 23:51:45 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 27 Jan 2010 23:51:45 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Jan 28 00:51:42 2010 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.69) (envelope-from ) id 1NaHfh-0006Xy-CW for gsmc-categories@m.gmane.org; Thu, 28 Jan 2010 00:51:41 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NaH6a-0002iJ-62 for categories-list@mta.ca; Wed, 27 Jan 2010 19:15:24 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5550 Archived-At: ****************************************************************** PhD Position Applications of Category Theory to Computer Science Mathematically Structured Programming Group University of Strathclyde ****************************************************************** Applications are invited for PhD study under the supervision of Prof Neil Ghani in an application of category theory to computer science. The applicant must hold either a first class UK degree (or equivalent) in their first degree or a distinction (or equivalent) at masters level. The applicant's motivation must centre on a desire for beautiful mathematics of lasting value. The candidate will be part of the Mathematically Structured Programming Group whose vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages --- any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, type theory and functional programming. Besides Professor Neil Ghani, the group consists of a number of internationally leading researchers including Dr Patricia Johann, Dr Conor McBride, Dr Peter Hancock and Dr Robert Atkey as well as a number of PhD students. Anyone interested should in the first instance contact Professor Neil Ghani at ng@cis.strath.ac.uk and outline their academic background. Funding is expected to come from the SICSA PhD program. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]