|Salary:||£31,406 to £40,927 Grade 7|
|Placed On:||11th May 2022|
|Closes:||29th May 2022|
Area: School of Computer Science in the College of Engineering and Physical Sciences
Salary: Full time starting salary is normally in the range £31,406 to £40,927 with potential progression once in post to £43,434
Duration: Fixed-term up till 30/04/2024
Location: University of Birmingham, Edgbaston, Birmingham, UK
People are at the heart of what we are and do. We want to attract outstanding, inspirational, and talented people, support them to succeed, and celebrate their success. Working at the University of Birmingham gives you access to the best financial and physical resources, a beautiful campus and an intellectually stimulating and diverse community. Our sector leading development programmes have made this a place where staff can thrive and recognition by Athena Swan, Stonewall, and Two Ticks demonstrates our commitment to supporting talented people from all backgrounds.
Summary of Role
A Postdoctoral Research Fellow position is available in Proof Theory at the School of Computer Science of the University of Birmingham, UK.
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. The motivations are twofold:
One particular goal is to establish a ‘deep inference’ approach to cyclic proofs, as a proof theoretic counterpart to ‘alternation’ in automata 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, not only in terms of research but also, e.g., teaching and grant applications.
Qualifications and expertise
An ideal candidate will have (or be close to completing) a PhD in Logic (computer science, mathematics or philosophy). They will have an excellent research record, with expertise in some of the following areas:
For further information please contact Dr Anupam Das, email@example.com.
To download the full job description and details of this position and submit an electronic application online please click on the Apply Online button below or visit our careers website; https://bham.taleo.net/careersection/external/jobsearch.ftl?lang=en&portal=101430233, please quote Job Ref 96035 in all enquiries.
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: