Postdoctoral Research Associate on Integrated Approach to Computational Complexity
Fixed term contract for 1 year at the Department of Computer Science, Parks Road, Oxford.
About the role
The Postdoctoral Research Associate will join a research group focused on complexity lower bounds, combining approaches from algebraic complexity, proof complexity, and meta-complexity. This role is part of the EPSRC-funded project Integrated Approach to Computational Complexity: Structure, Self-Reference and Lower Bounds, under the supervision of Professor Rahul Santhanam. The post holder will collaborate closely with the Principal Investigator and co-PI Iddo Tzameret at Imperial College London. On-site working is required, with remote working possible by agreement.
Responsibilities
- Conduct research on complexity lower bounds, integrating algebraic complexity, proof complexity, and meta-complexity approaches.
- Work closely with Professor Rahul Santhanam and the research group at Oxford.
- Collaborate with co-PI Iddo Tzameret and his group at Imperial College London.
Qualifications
Candidates should demonstrate expertise in computational complexity, with a strong background in at least one of the following areas: algebraic complexity, proof complexity, or meta-complexity.
Pay
Grade 07RS: £38,674–£46,913 per annum, inclusive of Oxford University weighting.
Benefits
- Excellent contributory pension scheme.
- 38 days annual leave (pro-rata for part-time roles).
- Comprehensive range of childcare services.
- Family leave schemes.
- Cycle loan scheme.
- Discounted bus travel and Season Ticket travel loans.
- Membership to a variety of social and sports clubs.
Schedule
Full-time, fixed term for 1 year. On-site working is required, with remote working possible by agreement.