The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is active at both Lund University and the University of Copenhagen on either side of the Oresund Bridge. We have a fairly unusual profile in that we are doing cutting-edge research both on the theoretical, mathematical foundations of efficient computation and on state-of-the-art applied algorithms for real-world problems. Much of the activities of the group revolve around powerful algorithmic paradigms such as Boolean satisfiability (SAT) solving, Groebner basis computations, integer linear programming, constraint programming, and semidefinite programming. This leads to classic questions in computational complexity theory—though often with new, interesting twists—but also involves work on devising new algorithmic approaches that can exploit the power of such paradigms in practice.

This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The expected starting date is in the autumn of 2021, but is to some extent negotiable. The position is fully funded and comes with a competitive salary.

The application deadline is July 5, 2021. See http://www.jakobnordstrom.se/openings/PhD-TCS-Lund-210705.html for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se.