Postdoctoral Position in Computer Science (Lund University)

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. Description of the workplace The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group at the Department of Computer Science at Lund University. The research group, which is headed by Jakob Nordström, is also active at the University of Copenhagen. The MIAO research 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. 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, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice. Our most recent new line of research is on 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. Our work on designing a new generation of certifying combinatorial solvers, which output not only a solution but also a machine-verifiable mathematical proof that this solution is correct, has already led to several prestigious international awards, but many more exciting problems are still waiting to be solved! Subject description With this call, we are mainly looking for a mathematically gifted PhD student with excellent programming skills to continue our ground-breaking work on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). There is some flexibility as to what kind of research PhD students in the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two. 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 Applicants meet the general admission requirements for third-cycle courses and study programmes if they: have been awarded a second-cycle qualification, or have satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second cycle, or have acquired substantially equivalent knowledge in some other way in Sweden or abroad. Applicants meet the specific admission requirements for third cycle studies in computer science if they have: at least 60 second-cycle credits at an advanced level with relevance for the research topic, or an MSc in Engineering in Computer Science and Engineering, Electrical Engineering, Information and Communication Technology, Engineering Physics or Engineering Mathematics. Additional requirements: Very good oral and written proficiency in English. A strong background in mathematics and computer science, as demonstrated by excellent grades in relevant courses, or by results at the Olympiads of Mathematics or Informatics, or by previous research projects. Excellent problem solving skills and creativity. Excellent programming skills for candidates mainly interested in applied research. Assessment criteria Selection for third-cycle studies is based on the candidate’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: Knowledge and skills relevant to the thesis project and the subject of study. An assessment of ability to work independently and to formulate and tackle research problems. Written and oral communication skills. Other experience relevant to the third-cycle studies, e.g. professional experience. Consideration will also be given to good collaborative skills, drive and independence, and how the applicant, through experience and skills, is deemed to have the abilities necessary for successfully completing the third cycle programme. We offer Lund University is a public authority which means that employees get particular benefits, generous annual leave and an advantageous occupational pension scheme. Read more on the University website about being a Lund University employee Work at Lund University. 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 §§. How to apply Applications shall be written in English and shall include the following documents: Curriculum vitae. Brief statement as to why the applicant wishes to conduct doctoral studies, including a description of the applicant's qualifications and interests. Diploma and transcripts of records (BSc and MSc). If applicable, copies of the applicant's MSc thesis (or possibly BSc thesis) and any research publications. Names and addresses for three references who might be contacted for reference letters later in the recruitment process. Please observe that all the documents above should be in English (or for official documents possibly in Swedish). Welcome to apply! LTH is Lund University’s Faculty of Engineering. At LTH we educate people, build knowledge for the future and work hard for the development of society. We create space for brilliant research and inspire creative advancements in technology, architecture and design. We have nearly 10,000 students. Every year, our researchers – many of whom work in world-leading profile areas – publish around 100 theses and 2 000 scientific findings. In addition, many of our research and degree projects are transformed into innovations. Together we explore and create – to benefit the world. We kindly decline all sales and marketing contacts. If you apply for this position please say you saw it on Academicoxy

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.

Description of the workplace

The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group at the Department of Computer Science at Lund University. The research group, which is headed by Jakob Nordström, is also active at the University of Copenhagen.

The MIAO research 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. 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, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

Our most recent new line of research is on 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. Our work on designing a new generation of certifying combinatorial solvers, which output not only a solution but also a machine-verifiable mathematical proof that this solution is correct, has already led to several prestigious international awards, but many more exciting problems are still waiting to be solved!

Subject description

With this call, we are mainly looking for a mathematically gifted PhD student with excellent programming skills to continue our ground-breaking work on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). There is some flexibility as to what kind of research PhD students in the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

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

Applicants meet the general admission requirements for third-cycle courses and study programmes if they:

have been awarded a second-cycle qualification, or
have satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second cycle, or
have acquired substantially equivalent knowledge in some other way in Sweden or abroad.

Applicants meet the specific admission requirements for third cycle studies in computer science if they have:

at least 60 second-cycle credits at an advanced level with relevance for the research topic, or
an MSc in Engineering in Computer Science and Engineering, Electrical Engineering, Information and Communication Technology, Engineering Physics or Engineering Mathematics.

Additional requirements:

Very good oral and written proficiency in English.
A strong background in mathematics and computer science, as demonstrated by excellent grades in relevant courses, or by results at the Olympiads of Mathematics or Informatics, or by previous research projects.
Excellent problem solving skills and creativity.
Excellent programming skills for candidates mainly interested in applied research.

Assessment criteria

Selection for third-cycle studies is based on the candidate’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:

Knowledge and skills relevant to the thesis project and the subject of study.
An assessment of ability to work independently and to formulate and tackle research problems.
Written and oral communication skills.
Other experience relevant to the third-cycle studies, e.g. professional experience.

Consideration will also be given to good collaborative skills, drive and independence, and how the applicant, through experience and skills, is deemed to have the abilities necessary for successfully completing the third cycle programme.

We offer

Lund University is a public authority which means that employees get particular benefits, generous annual leave and an advantageous occupational pension scheme. Read more on the University website about being a Lund University employee Work at Lund University.

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 §§.

How to apply

Applications shall be written in English and shall include the following documents:

Curriculum vitae.
Brief statement as to why the applicant wishes to conduct doctoral studies, including a description of the applicant's qualifications and interests.
Diploma and transcripts of records (BSc and MSc).
If applicable, copies of the applicant's MSc thesis (or possibly BSc thesis) and any research publications.
Names and addresses for three references who might be contacted for reference letters later in the recruitment process.

Please observe that all the documents above should be in English (or for official documents possibly in Swedish).

Welcome to apply!

LTH is Lund University’s Faculty of Engineering. At LTH we educate people, build knowledge for the future and work hard for the development of society. We create space for brilliant research and inspire creative advancements in technology, architecture and design. We have nearly 10,000 students. Every year, our researchers – many of whom work in world-leading profile areas – publish around 100 theses and 2 000 scientific findings. In addition, many of our research and degree projects are transformed into innovations. Together we explore and create – to benefit the world.

We kindly decline all sales and marketing contacts.

If you apply for this position please say you saw it on Academicoxy

Apply

All Jobs