Logic List Mailing Archive

Two postdoctoral research fellowships in proof theory (2y w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020

Research Fellow in Proof Theory - School of Computer Science, University 
of Birmingham, UK.

The School of Computer Science at the University of Birmingham is seeking 
to appoint up to 2 Research Fellows (postdocs) in Proof Theory, for a 
duration of 2 years (with possibility of extension). 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/>

These positions are 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. The principal responsibility of the fellow(s) will be to conduct 
research, both collaboratively with Dr Das and other researchers at 
Birmingham, and independently. The fellow(s) 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 or cyclic proofs).

* 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 positions and instructions for applying here:

<https://www.jobs.ac.uk/job/CAD990/research-fellow-in-proof-theory>

Practical information

Starting salary range: 30,942 - 40,322 (potentially progressing to 42,792).
Application deadline: 24 June 2020.
Starting date: As soon as possible, but ideally no later than October 2020.
Duration: 2 years (with possibility of extension)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam