From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9892 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Chris Heunen Newsgroups: gmane.science.mathematics.categories Subject: Postdoctoral position in quantum theory in Edinburgh Date: Thu, 18 Apr 2019 12:42:00 +0200 Message-ID: Reply-To: Chris Heunen Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="32393"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Thu Apr 18 14:45:52 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 1hH6QK-0008IB-8l for gsmc-categories@m.gmane.org; Thu, 18 Apr 2019 14:45:52 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36702) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hH6QL-0001OE-GG; Thu, 18 Apr 2019 09:45:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hH6OM-0004mg-N1 for categories-list@mlist.mta.ca; Thu, 18 Apr 2019 09:43:50 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9892 Archived-At: The University of Edinburgh is looking to recruit a full-time postdoctoral researcher to work on the project "Combining Viewpoints in Quantum Theory" with Dr. Chris Heunen. Duration: initially 1 year, with extension to 3 years Salary: =C2=A333,199 - =C2=A339,609 Start: 1 July 2019 or soon thereafter Deadline: 17 May 2019 Application: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs= pec?p_id=3D047668 Applicants must hold or be about to receive a doctoral degree in Computer Science, Mathematics, or Physics, and have a strong background in one or more of the following areas: * Quantum computing * Category theory * Programming languages * Operator algebra * Causality The successful applicant will focus on one of two areas: optimising quantum programs by analysing unitary groups, and implementing the achieved results in software; or developing a categorical framework for spatially distributed quantum protocols, and investigating causality. This includes collaborating with project partners and members, including PhD students. The Quantum Informatics group (http://web.inf.ed.ac.uk/quantum-informatics) is part of the School of Informatics' Laboratory for the Foundations of Computer Science, a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, quantum theory, databases and modelling. Informal enquiries can be directed to . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]