We are 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. Click for more information on the FRESCO project, or for more details on the vacancy.
Profile: Computer scientist interested in declarative problem solving
In the second vacancy, we search a researcher for algebraic foundations of knowledge representation languages. 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. Click for more information on the AFTACK project, or for more details on the vacancy.
Profile: Mathematician interested in application of mathematics in computer science
For more information, contact Bart Bogaerts at firstname.lastname@example.org