Lund University offers a funded PhD position in theoretical computer science and combinatorial optimization. The successful candidate will join the MIAO group, focusing on certifying algorithms and combinatorial optimization, with an emphasis on ensuring correctness in solvers. This research is supported by the Wallenberg AI, Autonomous Systems, and Software Program (WASP). Candidates should have a strong background in computer science, mathematics, or related fields, with excellent grades and a passion for problem-solving. The position is fully funded with an internationally competitive salary and opportunities for collaboration with leading research hubs in Denmark and Sweden.
