PhD Scholarship in Computer Science Focused on Sat Solving and Combinatorial Optimization

Applicants are invited to apply for a PhD position in computer science at Lund University. Successful candidate will have funding to work and study for 5 years in Sweden. Applications should be sent before February 10, 2020.

LTH forms the Faculty of Engineering at Lund University, with approximately 9 000 students. The research carried out at LTH is of a high international standard and we are continuously developing our teaching methods and adapting our courses to current needs.

Sweden routinely scores at the absolute top in rankings of quality of life such as, e.g., the OECD Better Life Index (

Project description

The PhD student will be working in the research group of JakobNordstrm. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). 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 Grbner bases or pseudo-Boolean solving) that could potentially yield exponential improvements over CDCL. We also believe that there should be ample room for technology transfer with related areas such as SMT solving, constraint programming (CP), and/or mixed integer linear programming (MIP), and so the research project will likely involve such areas.

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%).

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

Consideration will also be given to cooperative and communicative abilities, critical analysis ability, motivation for doctoral studies, interest in computer science and mathematics, 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.

Only those who will be admitted or who are already 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 (in which case it includes 20% departmental duties). Doctoral studentships are regulated in the Higher Education Ordinance (1993:100), chapter 5, 1-7 .

Instructions on how to apply

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


More scholarships: phd scholarship in computer science, phd fellowship in mathematics, phd fellowship in algebra, computer science phd fellowship, mathematics phd position, algebra phd fellowship, phd position in sweden, phd fellowship at lund university

Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2019 All Right Reserved.