Postdoctoral Research Associate in Computational Complexity
University of Oxford – Department of Computer Science
Oxford, Oxfordshire, United Kingdom
General Description
The Department of Computer Science at the University of Oxford is seeking to appoint highly motivated Postdoctoral Research Associates (up to four positions available) to contribute to advanced research in computational complexity. These positions are part of the European Research Council funded project “Meta-Complexity: A Unified Approach to the Complexity of Proofs and Computation (METACOMP)” led by Principal Investigator Professor Rahul Santhanam.
The successful candidates will join a leading research group working at the forefront of theoretical computer science. The project focuses on developing a unified understanding of the complexity of proofs and computations, addressing fundamental questions in computational complexity theory and meta-complexity. The postholders will undertake independent and collaborative research aligned with the objectives of the METACOMP project, contribute to the development of research directions, and publish results in leading academic venues.
The role includes close collaboration with the Principal Investigator and other researchers within the group. The appointed researchers will also provide guidance and mentorship to junior members of the research team, including doctoral students and interns. Responsibilities include conducting high-quality research, participating in seminars and collaborative discussions, preparing scholarly publications, and contributing to the overall research goals of the project.
The appointments are offered on a full-time basis for a fixed-term period of two years. The positions are based in the Department of Computer Science in central Oxford. Hybrid working arrangements may be considered, with the possibility of working remotely for up to two days per week.
The University of Oxford provides a stimulating and internationally recognized research environment known for excellence in teaching and innovation. The Department of Computer Science consistently ranks among the leading computer science departments globally and maintains a strong commitment to interdisciplinary collaboration and tackling major technological and societal challenges.
Staff benefits include a comprehensive contributory pension scheme, generous annual leave entitlement of 38 days including public holidays, family leave schemes, and access to benefits such as a cycle loan scheme and discounted public transport. The university is committed to equality, diversity, and inclusion and values a diverse academic community.
Eligibility Criteria
A doctoral degree (PhD/DPhil) in Computer Science, Mathematics, or a closely related field, or evidence that the candidate is close to completing such a degree.
Demonstrated ability to conduct high-quality independent academic research in theoretical computer science or computational complexity.
Evidence of research output appropriate to career stage, including publications or preprints.
Ability to work collaboratively within a research group and contribute to mentoring junior researchers.
Required Expertise/Skills
Strong background in computational complexity theory and theoretical computer science.
Research expertise relevant to proof complexity, computational complexity, or related areas addressed within the METACOMP project.
Ability to develop new theoretical frameworks and contribute to cutting-edge research problems.
Excellent analytical and mathematical reasoning skills.
Strong written and verbal communication skills, including the ability to present research findings and prepare academic publications.
Capacity to collaborate with colleagues, supervise or guide junior researchers, and contribute to an active research environment.
Salary Details
£39,424 – £47,779 per annum (pro rata).
Application Deadline
13 March 2026 (midday). Interviews are expected to take place in March 2026.