Join the University of Birmingham's School of Computer Science as a Research Fellow to work with Dr. Anupam Das on the UKRI Future Leaders Fellowship project "Strip: Structure vs. In variants in Proofs." The goal of the project is to further the theory of "cyclic proofs" and how they relate to automata theory, with a particular focus on formalization in proof assistants.
The principal responsibility of the fellow will be to conduct research, both collaboratively with Dr Das and other researchers at Birmingham, and independently. We have a vibrant group in Birmingham, and the fellow is also expected to contribute to a collaborative working atmosphere. The fellow will be supported in career development and encouraged to pursue independent opportunities, not only in terms of research but also, e.g., teaching and grant applications.
Eligibility
First degree in area of specialism
Higher degree related to Logic (Computer Science, Mathematics, or Philosophy) or equivalent qualifications/experience
Strong research record
Expertise in proof theory or type theory
Experience with proof assistants such as Coq, Agda, Lean is helpful
Background in automata theory, particularly over infinite words and trees, is beneficial
Background in mathematical logic, especially metamathematics, is beneficial
Responsibilies
Contribute to writing bids for research funding
Apply knowledge in a way which develops new intellectual understanding
Disseminate research findings for publication, research seminars etc
Supervise students on research related work and provide guidance to PhD students
Contribute to developing new models, techniques and methods
Present research outputs, including drafting academic publications or parts thereof, for example at seminars and as posters
Deal with problems that may affect the achievement of research objectives and deadline.
Promote collaborative activities within the group at Birmingham.
Salary:
Full time starting salary is normally in the range £34,980 to £44,263 with potential progression once in post to £46,974
Contract Type:
Fixed Term contract up to August 2026
Interested candidates should submit their CV, cover letter, and contact details of two referees to Dr. Anupam Das via email: a.das@bham.ac.uk.
Comments