Two PhD positions in Knowledge Representation and Reasoning (Brussels, Belgium)

The Artificial Intelligence Lab in Brussels is hiring! There are currently two open positions for PhD students in knowledge representation and reasoning, under the supervision of Prof. Bart Bogaerts. The start date is flexible, but preferably at the latest October 1st 2021.

In the first vacancy, we search a researcher in the domain of combinatorial search and optimization methods. More specifically, the goal is to research how to equip solvers with explainable agency. Profile: Computer scientist interested in declarative problem solving. Click for more information on the FRESCO project, or for more details on the vacancy.

In the second vacancy, we search a researcher for algebraic foundations of knowledge representation langauges. More specifically, our goal is to extend Approximation Fixpoint Theory (a lattice-theoretic framework for studying semantics of non-monononic logics) to capture fields such as domain theory, causal reasoning, and other forms of constructive knowledge. Profile: Mathematician interested in application of mathematics in computer science. Click for more information on the AFTACK project, or for more details on the vacancy.