The Department of Computer Science at Lund University is inviting applications for a fully funded PhD position in theoretical computer science and/or combinatorial optimization. The PhD student will engage in innovative research on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). The position is a four-year full-time employed role that may include 20% teaching responsibilities.