About this role
Lund University was founded in 1666 and is consistently ranked among the world's leading institutions of higher education. It has approximately 47,000 students and more than 8,800 employees in Lund, Helsingborg, and Malmö. We are united in our pursuit to understand, explain, and improve our world and the conditions of humanity.
Lund University welcomes applicants from diverse backgrounds and experiences. Gender equality, equal opportunities, and diversity are fundamental principles for all aspects of our operations.
**Description of the Organization**
The doctoral candidate will work in the Mathematical Insights into Algorithms for Optimization (MIAO) group at the Department of Computer Science at Lund University.
The group, led by Jakob Nordström, is also active at the University of Copenhagen.
The MIAO group has a unique profile in that we conduct research on the mathematical foundations of efficient computations while also designing applied algorithms aimed at achieving top performance in practice. This creates a very special environment where we not only delve deeply into various theoretical and practical questions, but where different research projects cross-fertilize each other, often leading to unexpected and exciting synergies. Much of our research revolves around powerful algorithmic paradigms such as SAT solving, Gröbner basis computations, integer programming, and constraint programming. This leads to classic questions in computer science—often with new, interesting perspectives—but also to the challenge of constructing smart algorithms that can effectively utilize such methods in practice.
Our latest addition to the research portfolio focuses on verifiability for modern algorithms in combinatorial optimization. Such algorithms are often highly complex, and even well-established commercial solvers sometimes produce incorrect results. Our work on designing a new generation of certifying combinatorial solvers, which not only produce solutions but also automatically verifiable proofs that the solutions are correct, has already led to several prestigious international awards, but many more exciting research problems still await their solutions!
**Being a Doctoral Candidate**
As a doctoral candidate, you are both admitted as a student and employed at Lund University.
As a research student, you will be trained in a scientific approach. This can be briefly described as gaining practice in critical and analytical thinking, solving problems independently using appropriate methodological choices, and developing research ethics awareness. Additionally, you will have the opportunity to work on projects, develop your leadership skills, and enhance your pedagogical abilities. Throughout your studies, you will be guided by supervisors. Doctoral studies conclude with a dissertation and a doctoral degree.
More about being a doctoral candidate at LTH can be found at lth.se.
**Subject and Project Description**
The main purpose of this announcement is to find a mathematically gifted doctoral candidate with excellent programming skills who can continue our groundbreaking work on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). However, there is flexibility in the choice of focus, and all candidates are welcome, whether they wish to concentrate on theoretical or applied research or are inspired by the challenge of bridging the gap between theory and practice.
**Job Responsibilities**
You will primarily engage in your doctoral education, which includes participation in research projects as well as doctoral courses, seminars, and conferences. Your responsibilities will also include involvement in teaching and other departmental work, limited to a maximum of 20% of your working hours, which will extend the duration of your doctoral studies accordingly.
**Qualifications**
To be admitted and employed as a doctoral candidate, you must meet the requirements outlined below.
**Eligibility Requirements**
You meet the basic eligibility for doctoral education if you have:
- A completed degree at the advanced level or
- Completed course requirements of at least 240 higher education credits, of which at least 60 higher education credits at the advanced level or
- Acquired equivalent knowledge in some other way.
You meet the specific eligibility for computer science if you have:
- At least 60 higher education credits at the advanced level relevant to the subject area, or
- A master's degree in computer engineering, electrical engineering, information and communication technology, engineering physics, or technical mathematics.
**Other Requirements**
To benefit from the current doctoral education, the following is also required:
- Excellent command of English, both spoken and written.
- Strong knowledge in mathematics and computer science, demonstrated by top grades in relevant courses, results in mathematics and informatics Olympiads, or previous research projects.
- Excellent problem-solving skills and creative thinking.
- Strong programming skills for candidates intending to focus on applied research.
- Good ability to work independently and to formulate and tackle scientific problems.
- Good written and oral communication skills.
- Strong collaborative skills.
**We Offer**
Lund University is a government authority, which means you will receive special benefits, generous vacation, and a favorable occupational pension.
More about working at Lund University can be found at lu.se.
For the full advertisement, please see: https://lu.varbi.com/what:job/jobID:876903/
We welcome your application!
LTH – Lund University Faculty of Engineering – is