About the Role
The selected candidate should hold (before start-date of the position) a MSc degree in computer science or a closely related field (e.g., mathematics) The selected candidate is interested in declarative problem solving, combinatorial optimization, knowledge representation, and/or logic-based methods in computer scienceThe selected candidate has a strong scientific curiosityGood programming skills are requiredProficiency in English is required.There are two (related) possible research directions for a PhD. The successful candidate will focus either on *proof logging* or on *explanations* for combinatorial solving; some details can be found below. The field of combinatorial optimization is concerned with developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal language. This specification is first tra...