From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8459 Path: news.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories,gmane.spam.detected Subject: PhD position Date: Wed, 14 Jan 2015 20:16:09 +0000 Message-ID: Reply-To: Neil Ghani NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1421320435 29107 80.91.229.3 (15 Jan 2015 11:13:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 15 Jan 2015 11:13:55 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Thu Jan 15 12:13:50 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YBiN4-00035z-5h for gsmc-categories@m.gmane.org; Thu, 15 Jan 2015 12:13:50 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51135) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YBiM7-0002wm-J4; Thu, 15 Jan 2015 07:12:51 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YBiM6-0001MD-HI for categories-list@mlist.mta.ca; Thu, 15 Jan 2015 07:12:50 -0400 Content-Language: en-US Precedence: bulk X-Spam-Report: 8.1 points; * 1.8 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date * 2.5 LOCALPART_IN_SUBJECT Local part of To: address appears in Subject * 1.8 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars * 2.0 DNS_FROM_AHBL_RHSBL RBL: Envelope sender listed in dnsbl.ahbl.org Xref: news.gmane.org gmane.science.mathematics.categories:8459 gmane.spam.detected:5252175 Archived-At: ****************************************************************** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ****************************************************************** Applications are invited for PhD study under the supervision of Prof Neil G= hani and Dr Conor McBride on any of the following topics * Dependently Typed Programming * Homotopy Type Theory * Coalgebra * Category Theory in Computer Science The position is fully funded for EU students (apologies to non EU-citizens = for this ridiculous piece of non-meritocracy) and will last for 3 years.The= applicant's motivation must centre on a desire for beautiful mathematics = of lasting value. The applicant should also have an innate sense of the won= der of learning allied to the capacity to work hard and achieve their goals= . The Mathematically Structured Programming Group's vision is to use mathemat= ics to understand the nature of computation, and to then turn that understa= nding 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 diminis= h each component. In order to achieve these research goals we mainly use id= eas from category theory, type theory and functional programming. Besides P= rofessor Neil Ghani and Dr Conor McBride, the group consists of a number of= internationally leading researchers including Dr Clemens Kupke, Dr Ross Du= ncan, Dr Robert Atkey and Dr Fredrick Norvall-Forsberg as well as a number = of PhD students. So, if you are interested in Neil-and-Conor studies, please contact us. App= lications will be considered on a first come, first served basis. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]