About this role
Tenure: Fixed term for 3 years
Hybrid Working: 2 days/week on Campus or minimum requirement of 40% on Campus, with 60% considered desirable where possible
We are looking for PDRA to join the DQBF project: https://github.com/Sat-DQBF. The candidate will work on the development of DQBF solvers.
The last few decades have seen tremendous progress in the development of SAT solvers. However, it has also become clear that they are approaching their limits and are unable to scale to problems that are ill-suited to SAT-based encodings. DQBF (Dependency Quantified Boolean Formulas) is a generalization of the standard QBF that allows them to succinctly encode many hard problems arising in hardware verification, circuit design and software synthesis. The main goal of this project is to build a DQBF solver that scales well in applications.
The position is fully funded by UKRI EPSRC for the duration of 3 years. The ideal starting date is as soon as possible, but it is negotiable.
If you are still awaiting your PhD to be awarded you will be appointed at Grade 6, spine point 30. Upon written confirmation that you have been awarded your PhD, your salary will be increased to Grade 7, spine point 31.
Our commitment to Equality, Diversity and Inclusion
We are committed to enhancing a workforce as diverse as our community and particularly encourage applicants who are of minoritised genders and ethnic backgrounds, living with a disability, and/or are members of the LGBTQIA+ community.
Job Ref: 112753
Closing Date: 3 August 2026