[Proof Complexity] Postdoc and PhD positions at University of Copenhagen

Jakob Nordström jn at di.ku.dk
Fri Dec 8 22:43:35 CET 2023


Dear colleagues,

I would be most grateful for any assistance in spreading the information below regarding postdoc and PhD positions in theoretical computer science and/or combinatorial optimization at the University of Copenhagen. In particular, we will be happy to receive applications from strong candidates interested in proof complexity.

Best regards,
Jakob Nordstrom

**********

Postdoc and PhD positions in TCS and/or combinatorial optimization at University of Copenhagen

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc and PhD positions in theoretical computer science and/or combinatorial optimization.

The postdocs and PhD students will be part of a world-leading research environment in algorithms and complexity theory. We are home to the Basic Algorithms Research Copenhagen (BARC) centre (barc.ku.dk) joint with the IT University of Copenhagen (ITU), and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. 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. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

The University of Copenhagen was founded in 1479 and is the oldest and largest university in Denmark. It is often ranked as the best university in Scandinavia and consistently as one of the top places in Europe. Within computer science, it is ranked 2nd in the European Union (post-Brexit) by ShanghaiRanking.

The postdoc positions are full-time research positions for an intended duration of 2 years, and the PhD positions are for a period of 3-5 years, depending on the current education level of the applicant. All our openings are for fully funded, employed positions, that come with an internationally competitive salary and include travel funding. The starting date is negotiable, but the default would be August-September 2024.

The application deadline for all positions is January 10, 2024. For more information about the postdoc positions see http://www.jakobnordstrom.se/openings/Postdoc-UCPH-240110.html and for the PhD positions see http://www.jakobnordstrom.se/openings/PhD-UCPH-240110.html. Informal enquiries are welcome and can be made to Mikkel Abrahamsen (miab at di.ku.dk), Jakob Nordstrom (jn at di.ku.dk), Rasmus Pagh (pagh at di.ku.dk), Srikanth Srinivasan (srsr at di.ku.dk), Mikkel Thorup (mthorup at di.ku.dk), or Amir Yehudayoff (amye at di.ku.dk).


Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +46 70 742 21 98
http://www.jakobnordstrom.se



More information about the Proof-Complexity mailing list