From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9922 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories Subject: PhD Positions within the MSP Group, University of Strathclyde Date: Mon, 3 Jun 2019 09:42:22 +0000 Message-ID: Reply-To: Neil Ghani Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="57901"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Tue Jun 04 02:43:15 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hXxXl-000EuK-Ef for gsmc-categories@m.gmane.org; Tue, 04 Jun 2019 02:43:13 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51661) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hXxYe-0000XO-8M; Mon, 03 Jun 2019 21:44:08 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hXxW9-0006Pl-QR for categories-list@mlist.mta.ca; Mon, 03 Jun 2019 21:41:33 -0300 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9922 Archived-At: =0A= =0A= ******************************************************************=0A= *** 2 x PhD Positions =0A= ***=0A= *** Mathematically Structured Programming Group=0A= *** University of Strathclyde=0A= ***=0A= ******************************************************************=0A= =0A= Applications are invited for PhD study on any aspect of functional programm= ing, =0A= type theory, logic, category theory, coalgebra etc. Candidates need not hav= e a topic in mind, =0A= as we have plenty of ideas! The positions are expected to start on 1 Octobe= r 2019, is fully funded for UK or =0A= EU students and will last for 3 years. The MSP group at the University of = Strathclyde contains some marvellous researchers (if we do say so ourselves= ) and prides itself on its friendly and welcoming atmosphere. Members of t= he group are Dr Bob Atkey, Dr Ross Duncan, Dr Fredrik Forsberg, Professor = Neil Ghani, Dr Clemens Kupke, and Dr Conor McBride,=0A= =0A= Anyone interested should in the first instance contact Professor Neil Ghani= (neil.ghani@strath.ac.uk) and outline their academic background. Applicati= ons will be considered on a first come,=0A= first served basis.=0A= =0A= Please distribute to interested parties.=0A= =0A= =0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]