categories - Category Theory list
 help / color / mirror / Atom feed
* Postdoc in Proof Theory - University of Birmingham, UK.
@ 2020-05-26 11:43 A.Das
  0 siblings, 0 replies; 2+ messages in thread
From: A.Das @ 2020-05-26 11:43 UTC (permalink / raw)
  To: categories

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)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Postdoc in Proof Theory - University of Birmingham, UK
@ 2022-05-12 16:31 Anupam das
  0 siblings, 0 replies; 2+ messages in thread
From: Anupam das @ 2022-05-12 16:31 UTC (permalink / raw)
  To: [LOGIC] Mailing List, Foundations of Mathematics,
	proof-complexity,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8, categories,
	gdr-im-JHSeY3WhOOtQFI55V6+gNQ,
	ProofTheory-nJFXYWEDAR8wZN84zEGlPg

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.


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-05-12 16:31 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-26 11:43 Postdoc in Proof Theory - University of Birmingham, UK A.Das
2022-05-12 16:31 Anupam das

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).