Doctoral Student in Computer Science
Lund University Faculty of Engineering
Sweden

Doctoral Student in Computer Science Focused on SAT Solving and Combinatorial Optimization

Lund University, LTH, Department of Computer Science

Lund University was founded in 1666 and is repeatedly ranked among the world’s top 100 universities. The University has 40 000 students and more than 8 000 staff based in Lund, Helsingborg and Malmö. We are united in our efforts to understand, explain and improve our world and the human condition.

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 (http://www.oecdbetterlifeindex.org).

Project description

The PhD student will be working in the research group of Jakob Nordström. 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 Gröbner 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

A person meets the general admission requirements for third-cycle courses and study programmes if the applicant:

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

A person meets the specific admission requirements for third cycle studies in Computer Science if the applicant has:

  • 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 is necessary to be able to participate in international collaborations and to publish and present research results in international conferences and journals. The working language of the research group is also English.
  • Problem solving skills and creativity.

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:

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

Other assessment criteria:

  • A suitable background for the position is, for instance, a degree in computer science, mathematics or possibly technical physics with a theoretical specialization.
  • Practical programming skills

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.

Terms of employment

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

The application should include the following documents:

  1. Curriculum vitae.
  2. University grade transcripts.
  3. Brief statement as to why the applicant wishes to conduct doctoral studies, including a description of the applicant's qualifications and interests.
  4. If applicable, copies of the applicant's MSc thesis (or possibly BSc thesis) and any research publications.
  5. Name and address of three references.

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

Lund University welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset. We kindly decline all sales and marketing contacts.

To apply, please click the button "Login and apply"

Type of employment Temporary position longer than 6 months
First day of employment September 1, 2020 or according to agreement
Salary Monthly salary
Number of positions 1
Working hours 100%
City Lund
County Skåne län
Country Sweden
Reference number PA2020/1888
Contact
Jakob Nordström, Professor, jakob.nordstrom@cs.lth.se
Union representative
OFR/ST:Fackförbundet ST:s kansli, 046-222 93 62
SACO:Saco-s-rådet vid Lunds universitet, 046-222 93 64
SEKO: Seko Civil, 046-222 93 66
Published 03.Jun.2020
Last application date 06.Jul.2020 11:59 PM CET


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

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions