PhD position in Human-centred Explainable Constraint Solving

We expect from applicants:

We have an open PhD position (fully funded, 4 years) in Human-centred Explainable Constraint Solving.

The project aims to develop human-centered explanations for constraint systems. While such explanations have been extensively explored from an algorithmic standpoint, especially when the constraint solver can not find any solution (unsatisfiability), these explanations are often not tailored to the needs of end-users. This project focuses on the analysis and co-creation of explanation types and methods in constraint solving. The focus is o...