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 ...

Fully Funded PhD Position in Symbolic Explainability for Logic-Based AI Systems at Vrije Universiteit Brussel (VUB) , Department of Computer Science, with a joint PhD opportunity involving KU Leuven . The project sits at the intersection of Computer Science , Artificial Intelligence , Knowledge Representation and Reasoning , Logic-based AI , Neurosymbolic AI , and Causality . The research goal is to investigate how ideas from the causality literature, including Actual Causation , can improve the...

KU Leuven is offering a PhD position in the context of the VLAIO TETRA project Reliable Language Intelligence for Knowledge (ReLIK). The project is based in the DTAI research unit, part of the Department of Computer Science, and the EAVISE research group in Sint-Katelijne-Waver, Belgium. The PhD project focuses on improving language models with formal knowledge in an industrial context. Modern large language models are powerful for building intelligent assistants and company-specific search func...

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 and postdoctoral positions in human-AI collaboration , shared decision-making , and the design of AI systems that help people understand, question, and steer AI. One highlighted opening is a PhD position in Human-Centred Explainable Constraint Solving . The broader call also mentions open PhD and postdoctoral positions in human–AI collaboration. This is a strong fit for candidates interested in computer science , information tec...