This advert is not available!
Lund University was founded in 1666 and is repeatedly ranked among the world’s top universities. The University has around 47 000 students and more than 8 800 staff based in Lund, Helsingborg and Malmö. We are united in our efforts to understand, explain and improve our world and the human condition.
Lund University welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset.
Subject description
The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both Lund University and the University of Copenhagen.
The MIAO research group has a fairly unusual profile in that we are on the one hand conducting deeply theoretical, mathematical research on the foundations of efficient computation, and on the other hand working on the design of state-of-the-art applied algorithms that are meant to run blisteringly fast in practice. 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, constraint programming, and semidefinite programming. This leads to classic questions in computational complexity theory—though often with new, interesting twists—but also involves work on devising new algorithmic approaches that can exploit the power of such paradigms in practice.
On the theory side, most of our work is in proof complexity. Proof complexity has connections to foundational questions in computational complexity theory, but another important motivation is algorithm analysis. All algorithms use some kind of method of reasoning to compute solutions to problems, and proof complexity can be used to analyse the potential and limitations of such methods (and thereby of the algorithms using them).
On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers based on conflict-driven clause learning (CDCL). We are even more interested in exploring new algebraic or geometric techniques, such as Gröbner bases or 0-1 integer linear programming (also known as pseudo-Boolean solving), that can sometimes be exponentially more powerful than CDCL, and that can also be used to solve optimization problems.
Another research area of interest is how to verify the correctness of state-of-the-art algorithms for combinatorial optimization. Such algorithms are often highly complex, and even mature commercial solvers are known to sometimes produce wrong results. We want to redesign state-of-the-art combinatorial solvers to make them certifying, i.e., so that they output not only a solution but also a simple, machine-verifiable proof that the claimed solution is correct and complete.
Work duties
The main duties of doctoral students are to devote themselves to their research studies which includes participating in research projects and third cycle courses. The work duties can also include teaching and other departmental duties (no more than 20%), in which case the position is prolonged accordingly.
Admission requirements
A person meets the general admission requirements for third-cycle courses and study programmes if the applicant:
A person meets the specific admission requirements for third cycle studies in computer science if the applicant has:
Additional requirements:
Assessment criteria
Selection for third-cycle studies is based on the student’s potential to profit from such studies. The assessment of potential is made primarily on the basis of academic results from the first and second cycle. Special attention is paid to the following:
Consideration will also be given to good collaborative skills, drive and independence, and how the applicant, through his or her experience and skills, is deemed to have the abilities necessary for successfully completing the third cycle programme.
Terms of employment
Only those admitted to third cycle studies may be appointed to a doctoral studentship. Third cycle studies at LTH consist of full-time studies for 4 years. A doctoral studentship is a fixed-term employment of a maximum of 5 years (including 20% departmental duties). Doctoral studentships are regulated in the Higher Education Ordinance (1993:100), chapter 5, 1-7 §§.
Instructions on how to apply
Applications shall be written in English and shall include the following documents:
Please observe that all the documents above should be in English (or for official documents possibly in Swedish).
Type of employment | Temporary position |
---|---|
First day of employment | September 1, 2021 or according to agreement |
Salary | Monthly salary |
Number of positions | 1 |
Full-time equivalent | 100 |
City | Lund |
County | Skåne län |
Country | Sweden |
Reference number | PA2021/968 |
Contact |
|
Union representative |
|
Published | 31.Mar.2021 |
Last application date | 05.Jul.2021 11:59 PM CEST |