From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9987 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Ross Duncan Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Job ad : quantum programming language designer wanted Date: Fri, 16 Aug 2019 12:31:45 +0100 Message-ID: Reply-To: Ross Duncan Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) 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="101511"; mail-complaints-to="usenet@blaine.gmane.org" To: types-announce@lists.seas.upenn.edu, quantum-foundations@maillist.ox.ac.uk, categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Aug 16 15:23:16 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 1hycCJ-000QH3-2a for gsmc-categories@m.gmane.org; Fri, 16 Aug 2019 15:23:15 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38938) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hycBz-000220-NY; Fri, 16 Aug 2019 10:22:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hycBI-0007eH-55 for categories-list@mlist.mta.ca; Fri, 16 Aug 2019 10:22:12 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9987 gmane.comp.science.types.announce:8577 Archived-At: Please circulate this notice as widely as possible. Position Open : Research Software Developer. Where : Cambridge, UK As part of a Knowledge Transfer Partnership, Strathclyde University and = Cambridge Quantum Computing Ltd (CQC) are looking for a researcher / = software developer to design and implement a new programming language = for near term quantum computers. The project will be supervised by = Conor McBride and Ross Duncan. Knowledge of linear dependent types = would be very useful, as would some familiarity with quantum computing. This is a 2-year, full-time position, based in the offices of CQC in = Cambridge. The full details are here :=20 = https://www.ktpws.org.uk/Default.aspx?tabid=3D4493&aid=3D13730&rid=3D4310 If you are interested please contact either = ross.duncan@cambridgequantum.com or conor.mcbride@strath.ac.uk for more = information. -r= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]