1 design "https:" "https:" "https:" "https:" Postdoctoral positions at University of Liverpool in United Kingdom

Postdoctoral Research Associate

University of Liverpool | Liverpool, England | United Kingdom | about 1 month ago

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