From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8041 Path: news.gmane.org!not-for-mail From: Ross Duncan Newsgroups: gmane.science.mathematics.categories Subject: Funded PhD position Category theory and Quantum Computing at Strathclyde University Date: Mon, 3 Mar 2014 15:15:14 +0000 Message-ID: References: <7F011F06-1E36-4AC5-85F1-D56BE0CF3583@strath.ac.uk> <88A46E10-8EFE-41C3-BD75-980EA7E5EC55@strath.ac.uk> Reply-To: Ross Duncan NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1393889157 19176 80.91.229.3 (3 Mar 2014 23:25:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 3 Mar 2014 23:25:57 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Mar 04 00:26:05 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WKcFI-0005JJ-AC for gsmc-categories@m.gmane.org; Tue, 04 Mar 2014 00:26:04 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:37928) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WKcEL-000816-JS; Mon, 03 Mar 2014 19:25:05 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WKcEK-00076P-Kp for categories-list@mlist.mta.ca; Mon, 03 Mar 2014 19:25:04 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8041 Archived-At: [Dear colleagues =97 please distribute] ***************************************************************** *** PhD Position = =20 *** *** Category Theory and Quantum Computing =20 ***=20 *** Mathematically Structured Programming Group =20 *** University of Strathclyde = =20 *** ****************************************************************** Applications are invited for PhD study under the supervision of Dr Ross = Duncan on any topic relating to quantum computation and category theory. = The position is fully funded (fees and maintenance of GBP 14400 per = year) for EU students (apologies to non EU-citizens for this ridiculous = piece of non-meritocracy) and will last for 3 years. The position will = start in October 2014. The successful candidate will be interested in both the mathematical = foundations of quantum theory and the formal computational aspects. Of = particular interest are: monoidal categories, foundations of quantum = computing, quantum simulation, graphical languages, and quantum = programming language design. Prior exposure to some these areas is an = advantage, but enthusiasm and open-mindedness is more important. The Mathematically Structured Programming Group's 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 =97 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 Dr Ross Duncan, the group = consists of a number of internationally leading researchers including = Prof Neil Ghani, Dr Conor McBride, Dr Clemens Kupke, Dr Fredrik = Nordvall Forsberg and a number of PhD students. Anyone interested should in the first instance contact Ross Duncan = (ross.duncan@strath.ac.uk) and outline their academic background. = Applications will be considered on a first come, first served basis. =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 Ross Duncan University of Strathclyde ross.duncan@strath.ac.uk // +44 141 548 3301 // skype: dr.ross.duncan http://personal.strath.ac.uk/ross.duncan/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]