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

Jakob Nordström jakob.nordstrom at cs.lth.se
Tue Jun 16 00:41:56 CEST 2020

Dear colleagues,

I would be most grateful for any assistance in spreading the information below regarding postdoc and PhD openings at the University of Copenhagen in TCS (very much including proof complexity).

Best regards
Jakob Nordstrom


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

The postdocs and PhD students will be working in the Algorithms and Complexity Section at DIKU. This is one of the leading research groups in theoretical computer science in Europe, with a strong presence at top-tier conferences like STOC, FOCS, and SODA, and also with publications in premier AI conferences like AAAI and IJCAI. We are part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (barc.ku.dk), joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and 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 the focus in on theoretical 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 number one in the European Union (post-Brexit) in the Shanghai Ranking.

The PhD positions are for 3-5 years (depending on the level of education of the candidate) and the postdoc positions are for 2 years. The expected starting date is October 2020, although this is to some extent negotiable. We are currently expanding strongly in computer science, and expect to have tenure-track openings in theoretical computer science in the near future. We welcome postdoctoral researchers interested in exploring such opportunities.

The application deadline is July 6, 2020. See https://employment.ku.dk/faculty/?show=151975 and https://employment.ku.dk/phd/?show=151972 for the full announcements for the postdoc and PhD positions, respectively, with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to Mikkel Thorup (mthorup at di.ku.dk) or Jakob Nordstrom (jn at di.ku.dk).

Best regards,
Jakob Nordstrom

Jakob Nordström
Associate Professor, University of Copenhagen
Professor, Lund University
Phone: +46 70 742 21 98
http://www.csc.kth.se/~jakobn/ (webpages still in transit)

More information about the Proof-Complexity mailing list