Position Details

School of Computer Science

Location: University of Birmingham, Edgbaston, Birmingham UK

Full time starting salary is normally in the range £34,980 to £44,263 with potential progression once in post to £46,974

Grade: 7

Full Time, Fixed Term contract up to August 2026

Closing date: 30th April 2024

UK and international travel may be required for this role

Background

To create and contribute to the creation of knowledge by undertaking research under the supervision of Dr Anupam Das on the UKRI Future Leaders Fellowship project ‘StrIP: Structure vs Invariants in Proofs”.

The project aims to develop the proof theory of 'cyclic proofs' and their connections to automata theory. In this latter half of the project, there is also an emphasis on formalisation in proof assistants such as Coq, Agda, Lean..., as well as implementations of some of the systems developed.

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.

Role Summary

• Conduct research within specified research grants and projects
• Conduct independent research and academic activities

Main Duties

The responsibilities may include some but not all of the responsibilities outlined below.

• Develop research objectives and proposals for own or joint research, with assistance of a mentor if required
• 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 where appropriate to the discipline
• Contribute to developing new models, techniques and methods 
• Contribute to public engagement activities of manifest benefit to the College and the University, often under supervision of a project leader
• 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 deadlines
• Promote collaborative activities within the group at Birmingham.

Person Specification

• First degree in area of specialism and normally, a higher degree related to the research area of Logic (Computer Science, Mathematics or Philosophy) or equivalent qualifications/experience
• Strong research record for career stage.
• Expertise in proof theory or type theory. Any experience with proof assistants such as Coq, Agda, Lean, is helpful.
• A background in automata theory is helpful, in particular over infinite words and trees.
• A background in mathematical logic is helpful, in particular metamathematics.

Informal enquiries to Dr Anupam Das, email: a.das@bham.ac.uk. 

Please attach your CV, Cover Letter and a list of publications when applying for this vacancy. 

We believe there is no such thing as a 'typical' member of University of Birmingham staff and that diversity in its many forms is a strength that underpins the exchange of ideas, innovation and debate at the heart of University life. We are committed to proactively addressing the barriers experienced by some groups in our community and are proud to hold Athena SWAN, Race Equality Charter and Disability Confident accreditations. We have an Equality Diversity and Inclusion Centre that focuses on continuously improving the University as a fair and inclusive place to work where everyone has the opportunity to succeed. We are also committed to sustainability, which is a key part of our strategy. You can find out more about our work to create a fairer university for everyone on our website.