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/ ]