Postdoc and PhD Positions in Combinatorial Optimization and Theoretical Computer Science at Lund University Lund University in Sweden

The Department of Computer Science at Lund University is inviting applications for both postdoctoral and PhD positions in combinatorial optimization and theoretical computer science. These positions are part of the Mathematical Insights into Algorithms for Optimization (MIAO) group, led by Professor Jakob Nordström, which operates at both Lund University and the University of Copenhagen. The group is renowned for its cutting-edge research on the mathematical foundations of efficient computation and the development of practical algorithms for real-world problems.

Research topics include powerful algorithmic paradigms such as Boolean satisfiability (SAT) solving, Gröbner basis computations, integer linear programming, and constraint programming. The group is also pioneering work on certifying combinatorial solvers, which produce machine-verifiable mathematical proofs of correctness, a line of research that has garnered international recognition and awards. The MIAO group is part of the Basic Algorithms Research Copenhagen (BARC) centre, a world-leading environment in algorithms and complexity theory, fostering collaboration and innovation.

Applicants for the postdoc position should have or be about to receive a PhD in a relevant field, with a strong background in computer science and mathematics, a solid research record, problem-solving skills, creativity, and, for applied candidates, excellent programming skills. The working language is English, and proficiency in English is sufficient for daily life in Scandinavia. The PhD position requires a relevant MSc or equivalent degree and a demonstrated interest in research.

All positions are fully funded, full-time employed roles for two years (postdoc) with internationally competitive salaries and travel funding. The group regularly hosts visitors and is involved in major research programs such as WASP and ELLIIT. Lund University is a top-ranked institution with a vibrant research environment and extensive collaborations across Scandinavia.

The application deadline is January 16, 2025. Applications must be submitted via the Lund University recruitment system and should include a CV, diplomas and transcripts, publication list, research statement, selected papers, and contact information for three references. For more information, visit the official advertisement or contact Professor Jakob Nordström at [email protected].