The position is under the ERC Consolidator Grant ALUnif (Algorithms and Lower Bounds: A Unified Approach), held by Rahul Santhanam.

The goal of the project is to use recently discovered connections between complexity lower bound techniques and algorithmic design and analysis to design new and improved algorithms for SAT and other NP-complete problems, as well as prove new complexity lower b

Webpage: http://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=032615

Email: rsanthan@inf.ed.ac.uk