From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6620 Path: news.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories Subject: PhD studentship Date: Sat, 16 Apr 2011 18:33:52 +0100 Message-ID: Reply-To: Neil Ghani NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1303049329 4675 80.91.229.12 (17 Apr 2011 14:08:49 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 17 Apr 2011 14:08:49 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Apr 17 16:08:44 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QBSeZ-0002fZ-G8 for gsmc-categories@m.gmane.org; Sun, 17 Apr 2011 16:08:43 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43235) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QBSeE-0002Rj-GX; Sun, 17 Apr 2011 11:08:22 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QBSeB-00020C-Dz for categories-list@mlist.mta.ca; Sun, 17 Apr 2011 11:08:19 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6620 Archived-At: PhD Position in Category Theory and Functional Programming Department of Computer and Information Science University of Strathclyde, Scotland Applications are invited for one PhD position within the Mathematically = Structured Programming group at the University of Strathclyde. The group = comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. = Peter Hancock, Dr. Robert Atkey, and five PhD students. The PhD project = centers around applications of categorical methods to functional = programming languages. The project is under the direction of Patricia = Johann. The successful applicant will have either a first-class degree or an MSc = in Mathematics or Computing Science or a related subject with a strong = Mathematics or Computing Science component. Ideally, they will also have = a strong, documented interest in doing research. Strong mathematical = background and problem-solving skills are essential; good programming = skills are a plus. Prior knowledge of category theory and/or functional = programming is an advantage, but is not required. The PhD position is for 3 years; it starts early October of 2011. The = position is a fully-funded post for a UK or EU student, and includes = both coverage of fees and an EPSRC-level stipend for each of the three = years. More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is located in = the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of = Britain's largest, liveliest and most interesting cities" (see = http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern = Scotland provides a particularly stimulating environment for researchers = in theoretical computer science, with active groups in this area at = Heriot-Watt University, the University of Edinburgh, the University of = Glasgow, the University of St. Andrews, and the University of = Strathclyde. Requests for further information and other informal enquiries can be = sent to: Patricia Johann patricia at cis.strath.ac.uk Those interested in the position are asked to send e-mail to the address = given above in the next week, since there is a very short deadline for = this position. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]