From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9988 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Ross Duncan Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Job ad : quantum programming language designer wanted Date: Fri, 16 Aug 2019 12:31:45 +0100 Message-ID: <95ED145F-01EB-4B6A-BE43-13BE64B7BEE8@gmail.com> Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="167535"; mail-complaints-to="usenet@blaine.gmane.org" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, quantum-foundations-mrEvjEli4ZAJrcTbIn6FzVpr/1R2p/CL@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Aug 16 18:43:17 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1hyfJo-000hN0-Qr; Fri, 16 Aug 2019 18:43:13 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x7GGfkEP028744; Fri, 16 Aug 2019 12:41:51 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x7GBVkTc000987 for ; Fri, 16 Aug 2019 07:31:47 -0400 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by psychopathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x7GBVkuI023004 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 16 Aug 2019 07:31:46 -0400 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id x7GBTqYJ002879 for ; Fri, 16 Aug 2019 07:31:46 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=dr.ross.duncan-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-Received: from mail-wr1-f42.google.com (mail-wr1-f42.google.com [209.85.221.42]) by mx0b-000c2a01.pphosted.com with ESMTP id 2ubf951rkd-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Fri, 16 Aug 2019 07:31:46 -0400 Original-Received: by mail-wr1-f42.google.com with SMTP id b16so1220863wrq.9 for ; Fri, 16 Aug 2019 04:31:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=g8hdpIwOHz0z6ZUFgop9PJ35xv16JuPMKjOQZdpkyFs=; b=UiOU2BPMJBbDM1C/xbfB4wlHrdOsULAfVByrK1E8NP5UMAPzFfSbz9ze1vkHa1F/K4 kuyYYWF9H3A/e1N1JYSL87NvHz47f/8bthPXh2vZmG+eiqw/eq5B/kQQdy0gVeQ6emKy N7Kff4GPndYe8jof5ZPDiWj2be7BDJG+BLFtyvL6ZvmuPa0nMTICkiUDaL8RLvzcso31 mRluYlvsekc8X2co/B8KH4gXYOpRU17kiAO+CcQaGJ/3KYe18998a1Y3Mppk7CI8swsK RSZp5jMtNuOwyAyhccL/1VFe5hqhoVGVN08wwjJNiHDjFuHOdRDy0+Ni07QBRLmpfDNV xRmw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=g8hdpIwOHz0z6ZUFgop9PJ35xv16JuPMKjOQZdpkyFs=; b=lTDYXO4LJxaVU4ynVaG7Z4d9jPJ/rIHers3vTsPBGEG3354FU5k8CJLwVS2lAOM31N zhCc+F9QymT8YJb+JuDNJjXSsozAMMkfFUbmRXVqjM3B44X8r6PdykFHAdFBuGu9Tbvp bq15LMOZvHty0mUBdGCdVfrAxv7DfkD3gS107oD5TnOzJoW8GEKU1S0X/v8QMk7SxQrr CEVPjbaW4E3BVlmXswJswZNiIcQg6N1Y4VS6MChHJ7KNYLOx0QZ+RTRShe2pKLPSC7UK 9O4omysKnjzwr9TZssJa0J+JHC1/J+JdrM2Y5GKdUdtv3m6uozhw1YKR26FioIhMhw8g etfg== X-Gm-Message-State: APjAAAUZlAjoFxitcV1avyaJ3iFmlXz4y+hu9vlTdrCEVMWsGMMm4NY8 kqHzy5Saez5Ub9hTs8sMmXjqqRR4 X-Google-Smtp-Source: APXvYqzNjvRyFwMjQnpUpH4Vd741id1X/S6yiVXBRsF1ZuF4McsVG1+J7TusSA6ZJ6zVs3iJTzvzJw== X-Received: by 2002:a5d:4703:: with SMTP id y3mr11096105wrq.63.1565955104728; Fri, 16 Aug 2019 04:31:44 -0700 (PDT) Original-Received: from [10.12.58.145] ([130.159.236.1]) by smtp.gmail.com with ESMTPSA id l3sm8321732wrb.41.2019.08.16.04.31.43 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 16 Aug 2019 04:31:44 -0700 (PDT) X-Mailer: Apple Mail (2.3445.104.11) X-CLX-Shades: MLX X-CLX-Response: 1TFkXGRkbEQpMehcYHRIRCllEF25/eVwFXXxnAWITEQpYWBdvXm5bAWZNcl5 MGxEKeE4XY1Nja3sTWH4aX14RCnlMF2lJaxheHm1dbQUfEQp5Qxd6bntZbXkcHVlJThEKQ0gXBx seGBEKQ1kXBxsfGREKWU0XZ2ZyEQpZSRcacRsGGncGGBoaBh0SQhsaBhoGHxkGGnEaEBp3BhoGG gYaBhoGGgYacRoQGncGGhEKWV4XaG55EQpJRhdfWk9ERFlPS1l1QkVZXk9OEQpDThcebWd9XXtH RUlwen0HXAd7ZRxtT2hpSWt/T3hjW0BjfREKWFwXHwQaBBsSGAcaGUhMSB5ITAUbGgQbGxoEHhI EGxMTEBseGh8aEQpeWRd/QG5DExEKTVwXGxocEQpMWhdoaU1raxEKQk8XaFheUEkFElx7ZHsRCk NaFxgaEwQSHwQYGBsEHhgRCkJeFxsRCkReFxkRCkJcFxoRCkJFF2JmemxDWlhAUhNkEQpCThdjU 2NrexNYfhpfXhEKQkwXb15uWwFmTXJeTBsRCkJsF2VwU2BaSXphAXlGEQpCQBdgWGJeH1lFGV8d ExEKQlgXb0RHT3p8XUxbTGgRCk1eFwcbEQpaWBcZEQpwZxdjaxp/UlxlU31iSRAHGRoRCnBoF2l BWmYeU2JsXGtSEAcZGhEKcGgXZktgel5wek1EE18QBxkaEQpwaBdjZX8SHRkSZFNtZBAHGRoRCn BoF2trHF8aSU8ZfF0eEAcZGhEKcGgXZG5rYk5CeWxEGFMQBxkaEQpwfRdnUGFOZ2McQ0tiRRAHG RoRCnBnF2JuRmBCQ1wFGGsYEAcZGhEKcH8XYxNBXB9iH0VEe3wQB X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 redirect=_spf.google.com] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:5.22.84,1.0.8 definitions=2019-08-16_05:2019-08-16,2019-08-16 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 suspectscore=0 spamscore=0 mlxlogscore=561 priorityscore=278 adultscore=0 clxscore=331 bulkscore=0 malwarescore=0 phishscore=0 impostorscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1906280000 definitions=main-1908160121 X-Mailman-Approved-At: Fri, 16 Aug 2019 12:35:40 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8579 gmane.science.mathematics.categories:9988 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 : https://www.ktpws.org.uk/Default.aspx?tabid=4493&aid=13730&rid=4310 If you are interested please contact either ross.duncan-eaSgp5hN2EAtNwlYKkfVu1aTQe2KTcn/@public.gmane.org or conor.mcbride-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org for more information. -r