Welcome to the MIAO Group!

The Mathematical Insights into Algorithms for Optimization (MIAO) 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.

We are always interested in recruiting exceptionally gifted researchers who can design, code up, and analyze unreasonably efficient algorithms for NP-hard optimization problems. We are using sophisticated mathematics to construct combinatorial solvers that can compete with, and sometimes beat, the best available commercial tools today, and that can in addition output machine-verifiable proofs that their computations are correct. The last few years we have been on a roll, winning several awards for our research. In order to keep up this work and improve it further, we need to find new group members with a passion for both mathematics and programming.

More information about the MIAO research group can be found at www.jakobnordstrom.se/miao-group/#about. Please go to www.jakobnordstrom.se/openings to see if we we have any current openings, or when we are next hiring. You can also check out our seminar series (with video recordings) at www.jakobnordstrom.se/miao-seminars.

Please don't hesitate a second to shoot an e-mail to jn@di.ku.dk or jakob.nordstrom@cs.lth.se if any of this sounds interesting!