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 science
  • The selected candidate has a strong scientific curiosity
  • Good programming skills are required
  • Proficiency 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...

    Apply for this Position

    Ready to join KU Leuven? Click the button below to submit your application.

    Submit Application