Job Description
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...
Ready to Apply?
Submit your application today and join our talented team at KU Leuven.
Submit Application
Job Details
-
Location
Leuven, Flanders
-
Job Type
Full-time
-
Category
Computer Occupations
-
Posted Date
March 02, 2026
-
Application Deadline
April 11, 2026