The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in theoretical computer science.
The University of Copenhagen is the oldest and largest university in Denmark, and is often ranked as the best university in Scandinavia (and consistently as one of the top places in Europe). The Algorithms and Complexity Section at the Department of Computer Science (DIKU) is part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/), 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. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory.
The postdoctoral researchers 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 therefore researchers in these or other related areas are more than welcome to apply.
Within the overall framework sketched above, the postdocs will be expected and encouraged to contribute to and influence the research agenda. Taking part in teaching graduate seminar courses is encouraged but not required. Travel funding is included, and the group also receives on a regular basis.
These postdoc positions are full-time employed positions for one year with a possible (and expected) one-year extension. The expected starting date is September 2020, although this is to some extent negotiable.
The application deadline is February 10, 2020. See http://www.csc.kth.se/~jakobn/openings/Postdoc-TCS-DIKU-200210.php for the full announcement with more information and instructions for how to apply. 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/
*
**********************************************************