From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10557 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Edmund Robinson Newsgroups: gmane.science.mathematics.categories Subject: Research Position on IRIS project at Queen Mary University of London Date: Wed, 15 Sep 2021 19:52:51 +0000 Message-ID: Reply-To: Edmund Robinson Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6605"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Fri Sep 17 02:12:24 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mR1UO-0001Tg-8B for gsmc-categories@m.gmane-mx.org; Fri, 17 Sep 2021 02:12:24 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:57314) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mR1Qo-0000NC-9M; Thu, 16 Sep 2021 21:08:42 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mR1TL-0002eg-3B for categories-list@rr.mta.ca; Thu, 16 Sep 2021 21:11:19 -0300 Accept-Language: en-GB, en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10557 Archived-At: I apologise for any inconvenience caused by cross-posting. We are advertising an approximately two-year position for a postdoctoral re= searcher based in London on the IRIS project (interfacereasoning.com) at Queen Mary. IRIS is an EPSRC programme grant led by UCL and with academic partners Impe= rial and LSE as well as Queen Mary, and whose industrial partners are Amazo= n AWS, BT, Facebook, GridPP, HP Labs, and Methods Group. This position is at the theoretical end of the project. If appointed your r= ole on the project would be to work on the logical and mathematical framewo= rk of the techniques being used. The job would suit someone well-versed in = logic and possibly category theory. The formal application page with more details is at:https://webapps2.is.qmu= l.ac.uk/jobs/job.action?jobID=3D5719 and if you want to discuss a possible = application, do please contact me. best wishes Edmund Robinson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]