categories - Category Theory list
 help / color / mirror / Atom feed
From: ppradic <>
To: <>
Subject: Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
Date: Fri, 8 Jul 2022 11:53:45 +0200	[thread overview]
Message-ID: <> (raw)

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

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:

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

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 ( for me, for Eike) beforehand.

All the best,

Pierre Pradic

[For admin and other information see: ]

                 reply	other threads:[~2022-07-08  9:53 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).