From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: *** X-Spam-Status: No, score=3.5 required=5.0 tests=DATE_IN_PAST_24_48, LOCALPART_IN_SUBJECT,LOTS_OF_MONEY,RDNS_NONE,TO_NAME_SUBJ_NO_RDNS autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 24658 invoked from network); 30 Aug 2023 00:38:05 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 30 Aug 2023 00:38:05 -0000 Received: from rr.mta.ca ([198.164.44.159]:52656) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qb9A3-0008KS-Nd; Tue, 29 Aug 2023 21:34:19 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qb99i-0005wA-Ms for categories-list@rr.mta.ca; Tue, 29 Aug 2023 21:33:58 -0300 From: Chris Heunen To: categories net Subject: categories: Three postdoc positions on Quantum Programming in Edinburgh Date: Mon, 28 Aug 2023 10:54:48 +0000 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Reply-To: Chris Heunen Message-Id: The University of Edinburgh is looking to recruit three full-time postdocto= ral researchers to work on the project =93Rubber DUQ: flexible Dynamic Univ= ersal Quantum programming=94 with Dr. Chris Heunen. Duration: 3 years Salary: =A337,099 - =A344,263 Start: 1 December 2023 or soon thereafter Deadline: 25 September 2023 Apply here: https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/e= n/sites/CX_1001/job/8352 and here: https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/= sites/CX_1001/job/8354 Ideally you'll have a doctoral degree in Computer Science, Mathematics, or = Physics, and experience in quantum computing, programming languages, and/or= category theory, with a strong mathematical background. We make allowances= to welcome working with anyone, and especially encourage you to apply if y= ou're a member of an underrepresented group. The project aims to prototype a quantum programming language based on categ= orical universal properties such as quantum information effects, implement = a compiler, and quantify its robustness, and develop automated strategies t= o trade off resilience to noise against speed or accuracy. There are both t= heoretical components, involving research into category theory and quantum = information theory, and practical components, involving implementation and = case studies. You will work with at least two other postdoctoral researcher= s and several PhD students on this project. You will be part of a larger te= am in Quantum Informatics, and be part of the NQCC Quantum Software Lab. The positions are funded by EPSRC. For more information, get in touch with = . The University of Edinburgh is a charitable body, registered in Scotland, w= ith registration number SC005336. Is e buidheann carthannais a th=92 ann an= Oilthigh Dh=F9n =C8ideann, cl=E0raichte an Alba, =E0ireamh cl=E0raidh SC00= 5336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]