The CS departments at the University of Copenhagen and Lund University announce openings for:
- Postdocs in TCS: http://www.csc.kth.se/~jakobn/openings/Postdoc-TCS-DIKU-200210.php
- PhD students in TCS: http://www.csc.kth.se/~jakobn/openings/PhD-TCS-DIKU-200210.php
- Postdocs in SAT solving and combinatorial optimization: http://www.csc.kth.se/~jakobn/openings/Postdoc-SAT-LTH-200210.php
- PhD students in SAT solving and combinatorial optimization: http://www.csc.kth.se/ ~jakobn/openings/PhD-SAT-LTH-200210.php
The successful applicants 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 in Copenhagen and Lund. This is an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/ ) at the University of Copenhagen, joint with the IT University of Copenhagen, and extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund bridge.
Candidates need to have a strong background in mathematics, and for the more applied positions also excellent programming skills. Broadly speaking, the aim of the research is to use mathematical tools to analyse rigorously the power and limitations of methods employed in current cutting-edge combinatorial optimization algorithms, and to harness the insights gained in order to design new algorithms that go significantly beyond the state of the art.
Here you apply for the two positions at Lund University: