Department of Computer Science
Faculty of Science
University of Copenhagen
The
Department of Computer Science (DIKU) at the University of Copenhagen
invites applications for postdoctoral positions in combinatorial
optimization.
Description of the scientific environment The postdoc will be working in the
Mathematical Insights into Algorithms for Optimization (MIAO) group
headed by Jakob Nordström, which is doing research on theoretical
analysis of and applied algorithm development for combinatorial
optimization paradigms such as SAT solving, pseudo-Boolean optimization,
constraint programming, and integer linear programming. MIAO belongs to
the Algorithms and Complexity Section at DIKU, one of the leading
groups in theoretical computer science in Europe, which 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 Ø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, but we also have a track record of
start-ups and 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 currently
number 1 in the European Union (post-Brexit) according to the Shanghai
Ranking.
Further information about the Department of Computer Science and the Faculty of Science can be found at http://www.science.ku.dk/english/about-the-faculty/organisation/. Inquiries about the positions can be made to Jakob Nordström (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 will also start
receiving visitors again on a regular basis as soon as the Covid-19
situation permits.
The intended starting date is September 2021 but is negotiable, and the intended duration is 2 years.
The University
of Copenhagen is currently expanding strongly in computer science. We
expect to keep having 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 in general, and in areas of combinatorial optimization such
as SAT, pseudo-Boolean optimization, constraint programming or integer
linear programming in particular, and should have a strong research
record as witnessed by publications in conferences such as AAAI, IJCAI,
SAT, CP, CPAIOR, CAV, FMCAD, or similar, or in journals of a comparable
quality. Problem solving skills and creativity are a must. Excellent
programming skills are crucial.
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 http://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 Ministry
of Finance and The Danish Confederation of Professional Associations on
Academics in the State. The starting salary is currently up to DKK
437.843 including annual supplement (+ pension up to DKK 74.871).
Negotiation for salary supplement is possible.
Application Procedure The application should be written in English and 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.
- 1-3 reference letters.
The University wishes for 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 January 24, 2020, 23:59 GMT +1.
You can read about the recruitment process at http://employment.ku.dk/faculty/recruitment-process/.
Part of the International Alliance of Research Universities (IARU),
and among Europe’s top-ranking universities, the University of
Copenhagen promotes research and teaching of the highest international
standard. Rich in tradition and modern in outlook, the University gives
students and staff the opportunity to cultivate their talent in an
ambitious and informal environment. An effective organisation – with
good working conditions and a collaborative work culture – creates the
ideal framework for a successful academic career.
|