Location: | Birmingham |
---|---|
Salary: | £34,980 to £44,263 with potential progression once in post to £46,974 |
Hours: | Full Time |
Contract Type: | Fixed-Term/Contract |
Placed On: | 4th April 2024 |
---|---|
Closes: | 30th April 2024 |
Job Ref: | 103759 |
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
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
Main Duties
The responsibilities may include some but not all of the responsibilities outlined below.
Person Specification
Informal enquires can be made to Dr Anupam Das, email: a.das@bham.ac.uk
To download the full job description and details of this position and submit an electronic application online please click on the 'Apply' button above.
Valuing excellence, sustaining investment
We value diversity and inclusion at the University of Birmingham and welcome applications from all sections of the community and are open to discussions around all forms of flexible working
Type / Role:
Subject Area(s):
Location(s):