From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9872 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Alessio Guglielmi Newsgroups: gmane.science.mathematics.categories Subject: PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath Date: Fri, 29 Mar 2019 10:37:10 +0000 Message-ID: Reply-To: Alessio Guglielmi Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) 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="104995"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Mar 29 15:32:05 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 1h9sY6-000R6z-N9 for gsmc-categories@m.gmane.org; Fri, 29 Mar 2019 15:32:02 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:33095) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h9sXN-0001KE-Ee; Fri, 29 Mar 2019 11:31:17 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h9sVZ-0001KE-7h for categories-list@mlist.mta.ca; Fri, 29 Mar 2019 11:29:25 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9872 Archived-At: We are recruiting for a PhD position on EFFICIENT AND NATURAL PROOFS AND ALGORITHMS Deadline: 18 April 2019 Mathematical Foundations Group = = Department of Computer Science University of Bath *** Description Proofs and algorithms are everyday objects in our discipline, but they = are still very mysterious. Suffice to say that we are currently unable = to decide whether two given proofs or two given algorithms are the same; = this is an old problem that dates back to Hilbert. Also, proofs and = algorithms are intimately connected in the most famous open problem in = mathematics: P vs NP.=20 We make progress by trying to unveil the fundamental structure behind = proofs and algorithms, what we call their semantics. In other words, we = are interested in the following questions:=20 What is a proof?=20 What is an algorithm?=20 How can we define them so that they have efficient and natural = semantics?=20 The questions above are interesting in their own right, but we note that = answering them will enable technological advances of great impact on = society and the economy. For example, it will be possible to build a = worldwide, universal tool for developing, validating, communicating and = teaching mathematics. Also, quickly producing provably bug-free and = secure software will become possible, so solving one of the most complex = and important open engineering problems.=20 In order to understand proofs and algorithms, we create new mathematics = starting from proof theory and semantics. The methods we use are mostly = discrete, algebraic and combinatorial, but there is a growing = geometrical component. The recent advances which our methods are mostly = based on are linear logic, game semantics and deep inference.=20 You can find more information at=20 Our group is very well financed via several grants. Thanks to our = international relations, working with us means having a truly = multicultural experience together with all the researchers at the = forefront of this worldwide research effort. As a result, all our = graduates work and publish at the highest level. The facilities at the = University of Bath are outstanding and the city is so beautiful that = UNESCO recognises it as a World Heritage Site.=20 *** Contact For questions about the project or the application process, please = contact us: Alessio Guglielmi A.Guglielmi@bath.ac.uk Willem Heijltjes W.B.Heijltjes@bath.ac.uk *** How to apply Applicants should hold, or expect to gain, a First Class or good Upper = Second Class Honours degree, or the equivalent from an overseas = university. A master=E2=80=99s level qualification would also be = advantageous.=20 Formal applications should be made via the University of Bath=E2=80=99s = online application form for a PhD in Computer Science: = Anticipated start date: 30 September 2019. *** Funding Research Council funding is available on a competition basis to Home and = EU students who have been resident in the UK for 3 years prior to the = start of the project. For more information on eligibility, see: Funding will cover Home/EU tuition fees, a stipend (=C2=A314,777 per = annum for 2018/19) and a training support fee of =C2=A31,000 per annum = for 3.5 years.=20 Applicants classed as Overseas for tuition fee purposes are NOT eligible = for funding; however, we welcome all-year-round applications from = self-funded candidates and candidates who can source their own funding.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]