From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6818 Path: news.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories Subject: PhD position Date: Mon, 8 Aug 2011 17:02:40 +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 1312845981 6942 80.91.229.12 (8 Aug 2011 23:26:21 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 8 Aug 2011 23:26:21 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Aug 09 01:26:17 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.128]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QqZD6-0002RT-Il for gsmc-categories@m.gmane.org; Tue, 09 Aug 2011 01:26:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35761) by smtpy.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1QqZB0-0007Op-3B; Mon, 08 Aug 2011 20:24:06 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QqZAz-00022A-DC for categories-list@mlist.mta.ca; Mon, 08 Aug 2011 20:24:05 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6818 Archived-At: Dear All If any of you know any bright young things looking to do a PhD using = category theory then can you let them know about this possibility. I'm afraid the funding is only for EU passport holders. All the best Neil =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D PhD Position in Category Theory and Functional Programming Department of Computer and Information Sciences 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 six PhD students. The PhD project centres 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 in January 2012. 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 short while.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]