Fully Funded PhD in Symbolic Explainability for Logic-Based AI Systems Vrije Universiteit Brussel in Belgium

KU Leuven is advertising a fully funded PhD position in Human-centred Explainable Constraint Solving , along with an open fully funded postdoc position in Human-AI Collaboration . These opportunities are relevant for candidates interested in Computer Science , Mathematics , and related areas such as AI, optimization, and explainable systems. The post is shared by Anifelconsult and points to official KU Leuven vacancy pages for the two openings. The PhD topic focuses on making constraint solving ...

Vrije Universiteit Brussel (VUB) is offering a fully-funded PhD position in symbolic explainability for logic-based AI systems . The project sits in the Department of Computer Science within the Faculty of Sciences and Bioengineering Sciences , with the Brussels Humanities, Sciences & Engineering Campus in Elsene as the home base. It is a joint PhD with KU Leuven , giving the successful candidate the opportunity to work with researchers at two highly ranked universities in Belgium and the EU. Th...

KU Leuven is advertising a PhD in efficient inference for knowledge-based systems within the DTAI research unit (Department of Computer Science) and the EAVISE research group in Sint-Katelijne-Waver, Belgium . The project focuses on improving the efficiency of inference tasks in knowledge-based systems , with research directions including lazy grounding , SMT solving , constraint optimization , and related reasoning-engine techniques. The exact scope can be shaped along the way based on scientif...

Augment, an imec research group at KU Leuven, is recruiting for PhD candidates and postdoctoral researchers in human-AI collaboration , shared decision-making , and the design of AI systems that help people understand, question, and steer AI. The post highlights two opportunities: an Open PhD and Postdoctoral Positions in Human–AI Collaboration and a PhD Position in Human-Centred Explainable Constraint Solving . These topics sit at the intersection of Computer Science , Information Technology , ...

Fully funded PhD position at Vrije Universiteit Brussel in Belgium, with a joint PhD opportunity involving KU Leuven . The project sits in the Department of Computer Science , Faculty of Sciences and Bioengineering Sciences, and focuses on symbolic explainability for logic-based AI systems . The research topic combines artificial intelligence , neurosymbolic AI , symbolic reasoning , explainability , causality , and actual causation . The post describes a theoretical and practical project: study...