丹麦哥本哈根大学理论计算机科学和/或组合优化博士后职位

丹麦哥本哈根大学理论计算机科学和/或组合优化博士后职位

Postdoctoral Positions In Theoretical Computer Science And/Or Combinatorial Optimization

Copenhagen University

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

Description of the scientific environment We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to  strengthen and complement the research profile of the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by JakobNordström (https:// www. jakobnordstrom.se), which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge.

The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Much of the activities of the group revolve around powerful algorithmic paradigms such as, e.g., Boolean satisfiability (SAT) solving, Gröbner basis computations, integer linear programming, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on designing and coding up clever algorithms that can exploit the power of such paradigms in practice.

We are fortunate to be part of the Algorithms and Complexity Section at DIKU, which is world-leading in algorithms and complexity theory (currently ranked 6th worldwide by CSrankings.org) with a strong presence at top-tier TCS conferences like STOC, FOCS, and SODA and also with publications in premier AI venues like AAAI, IJCAI, and NeurIPS. DIKU hosts the Basic Algorithms Research Copenhagen (BARC) centre (https: // barc.ku.dk/) joint with the IT University of Copenhagen, and we also have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Øresund 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 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.

Further information about the Department of Computer Science and the Faculty of Science can be found at https: // www. science.ku.dk/english/about-the- faculty/organisation/. Inquiries about the positions can be made to JakobNordström at jn@di.ku.dk.

Job description These are full-time research positions. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we also expect to start receiving visitors again on a regular basis as the pandemic situation is now improving.

The starting date would ideally be October 1, 2022, but is flexible, and the  intended duration is 2 years.

The University of Copenhagen is currently expanding strongly in computer science. We expect to have tenure-track openings in computer science in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.

Formal requirements Applicants should have or be about to receive a PhD  degree in a subject relevant for the research area, and should have a passionate interest in research. The successful candidate is expected to have a solid background in computer science and mathematics, and should have a strong research record as witnessed by publications in top conferences such as STOC, FOCS, and CCC for theory candidates and AAAI, IJCAI, SAT, and CP for applied candidates, or in journals of comparable quality.

The working language of the group is English, and knowledge of English is also fully sufficient to navigate life in Denmark in general. It might also be worth mentioning that Denmark routinely scores at the absolute top in rankings of quality of life such as, e.g., the OECD Better Life Index https:// www. oecdbetterlifeindex.org .

Terms of employment The position is covered by the Memorandum on Job Structure for Academic Staff.

Terms of appointment and payment accord to the agreement between the Danish Ministry of Taxation and The Danish Confederation of Professional Associations on Academics in the State.

The salary is internationally very competitive.

Negotiation for salary supplement is possible.

Application Procedure The application, in English, should be submitted electronically by clicking APPLY NOW below.

Please include:

Curriculum vitae.

Diploma and transcripts of records (PhD and MSc or equivalent).

List of publications including links to the applicant's pages at DBLP and Google Scholar.

Brief research statement with description of research so far and future research goals and interests, and with a short description of 3 selected papers.

Copies of the above 3 selected papers.

Name and address for three references who might be contacted later in the recruitment process.

The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.

The deadline for applications is June 29, 2022, 23:59 GMT + 2.

After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.

You can read about the recruitment process at https: // employment.ku.dk/faculty/recruitment-process/ .