From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10770 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: ppradic Newsgroups: gmane.science.mathematics.categories Subject: =?UTF-8?Q?Two_PhD_opportunities_at_Swansea_University=3a_=ce=bb-cal?= =?UTF-8?Q?culi_and_automata/dynamical_systems_and_computability?= Date: Fri, 8 Jul 2022 11:53:45 +0200 Message-ID: Reply-To: ppradic Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32832"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Tue Jul 12 02:37:37 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oB3uD-0008LV-2W for gsmc-categories@m.gmane-mx.org; Tue, 12 Jul 2022 02:37:37 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:34792) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1oB3sk-0004nz-Ik; Mon, 11 Jul 2022 21:36:06 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1oB3sK-0002oV-02 for categories-list@rr.mta.ca; Mon, 11 Jul 2022 21:35:40 -0300 Content-Language: en-US-large Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10770 Archived-At: Dear all, (apologies if you receive this multiple times; feel free to circulate to students who might be interested in these offers) I'd like to advertise a funded PhD position in the CS theory group at Swansea University, to be supervised by myself. The topic would be about exploring connections between (linear) ??-calculi and automata theory, hopefully using semantic methods. The official advert, that can be found at https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-comparing-2022-rs125.php gives some administrative details and some ideas on the research directions that could be explored (I would personally also be happy to discuss other ideas as long as I would be a particularly good fit to supervise; my webpage might give you some idea about my interests: https://cs-web.swan.ac.uk/~pierrepradic/). Eike Neumann also has a funded PhD position to offer on a project about looking at dynamical systems with a focus on exact real number computability that I'd also like to advertise https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-robust-2022-rs122.php The stipend would be ??16,062/year (UKRI rate), for a duration of 3 years and the tuition fees are covered by the funding. The closing date for both calls is July 29th. While the application procedure is detailed in the links I gave above, we would welcome prospective candidates getting in touch via email (p.r.a.pradic@swansea.ac.uk for me, e.f.neumann@swansea.ac.uk for Eike) beforehand. All the best, Pierre Pradic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]