PhD positions in TCS, Copenhagen (Denmark)

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science. The PhD students will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn/), which is currently in transition from KTH to a combined location at the University of Copenhagen and Lund University on either side of the Oresund bridge.

Much of the research in the group revolves about gaining a better theoretical understanding of powerful algorithmic paradigms such as, e.g., SAT solving, Groebner basis computations, integer linear programming, and/or semidefinite programming. This leads to classic questions in computational complexity theory — though often with new, interesting twists — but can also involve work on designing new algorithms that can exploit the power of such paradigms in practice. Our research has revealed deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and so the project may also involve research in these areas.