From: Anupam das <A.Das-mHdZ94l+r7K1Qrn1Bg8BZw@public.gmane.org>
To: "[LOGIC] Mailing List"
<logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org>,
"Foundations of Mathematics"
<fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org>,
proof-complexity
<proof-complexity-+0VSyhQgw7rtwjQa/ONI9g@public.gmane.org>,
"types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org"
<types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org>,
categories <categories-59hdLBrVOVU@public.gmane.org>,
"gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org"
<gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org>,
"ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org"
<ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org>
Subject: Postdoc in Proof Theory - University of Birmingham, UK
Date: Thu, 12 May 2022 16:31:47 +0000 [thread overview]
Message-ID: <2e3027de-99c4-248f-b70b-bf988b619665@bham.ac.uk> (raw)
Research Fellow in Proof Theory - University of Birmingham, UK.
The School of Computer Science at the University of Birmingham is
seeking to appoint a Research Fellow (postdoc) in Proof Theory, to be
employed until (at least) the end of April 2024. The Theory group at the
University of Birmingham is one of the leading groups in logical
foundations of computer science, with expertise not only in Proof Theory
but also related areas such as Type Theory, Category Theory and
Mathematical Logic:
<https://www.cs.bham.ac.uk/research/groupings/theory/>
This position is funded by a UKRI Future Leaders Fellowship "StrIP:
Structure vs Invariants in Proofs", led by Dr Anupam Das. The project
aims to develop the theory of 'cyclic proofs' and their connections to
automata theory, programming languages, and structural proof theory. The
principal responsibility of the fellow will be to conduct research, both
collaboratively with Dr Das and other researchers at Birmingham, and
independently. The fellow will also be supported in career development
and encouraged to pursue independent opportunities.
Qualifications and expertise
You will have (or be close to completing) a PhD in logic (computer
science, mathematics or philosophy), or equivalent qualifications. You
will have an excellent research record, with expertise in some of the
following areas:
* Proof theory (in particular, deep inference, cyclic proofs, and/or
computational interpretations).
* Automata theory (in particular, infinite word and tree automata).
* Mathematical logic (in particular, fragments of arithmetic or set
theory).
Application
Informal inquiries prior to application are encouraged and should be
directed to Dr Anupam Das <a.das@bham.ac.uk>. You may find further
details on the position and instructions for applying here:
<https://www.jobs.ac.uk/job/CPP274/postdoctoral-research-fellow-in-proof-theory>
Practical information
Starting salary range: £31,406 - £40,927 (potentially progressing to
£43,434).
Application deadline: 29 May 2022.
Starting date: ideally September 2022.
Duration: until 30 April 2024.
next reply other threads:[~2022-05-12 16:31 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-05-12 16:31 Anupam das [this message]
-- strict thread matches above, loose matches on Subject: below --
2020-05-26 11:43 A.Das
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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2e3027de-99c4-248f-b70b-bf988b619665@bham.ac.uk \
--to=a.das-mhdz94l+r7k1qrn1bg8bzw@public.gmane.org \
--cc=ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org \
--cc=gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org \
--cc=logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org \
--cc=proof-complexity-+0VSyhQgw7rtwjQa/ONI9g@public.gmane.org \
--cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* 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).