[DMANET] Postdoc and PhD positions in theoretical computer science and combinatorial optimization in Copenhagen/Lund

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.

The application deadline is February 10, 2020, for all positions. Informal enquiries are welcome and may be sent to jn@di.ku.dk or jakob.nordstrom@cs.lth.se.



**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************