Are you looking for a PhD position in the burgeoning field of neurosymbolic artificial intelligence at a thriving interdisciplinary institute in Amsterdam? Join us in the research unit of Natural Language Processing at the Institute for Logic, Language and Computation (ILLC), a home to a thriving community of scholars, including philosophers, logicians, mathematicians, computer scientists, linguists, musicologists, and cognitive scientists, who share a fascination with the interdisciplinary study of information.

Are you looking for a postdoc position at the intersection of logic, philosophy and semantics? Would you like to be part of a research team developing new foundations for intensional notions such as property, content, proof, possibility and necessity? If so, come and join the GOOD INTENSIONS project!

Are you looking for a postdoc position at the intersection of logic, philosophy and mathematics? Would you like to be part of a research team developing new foundations for intensional notions such as property, content, proof, possibility and necessity? If so, come and join the GOOD INTENSIONS project!

Are you looking for a PhD position at the intersection of logic, philosophy and semantics? Would you like to be part of a research team developing new foundations for intensional notions such as property, content, proof, possibility and necessity? If so, come and join the GOOD INTENSIONS project!

These positions offer a place for reflecting on all aspects of mathematical knowledge from the point of view of the humanities. The team studies various historical and contemporary mathematical cultures from a multitude of methodological approaches. 

For more information about the PhD position click here and for the postdoc position here.

The LAGER project ("Learning abstractions for generalized reasoning in AI") is seeking talented and motivated candidates for two PhD positions to join the groups at the Institute of Logic and Computation at TU Wien. The project is funded by the Vienna Science and Technology Fund, and led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu.

By focusing on Answer Set Programming (ASP), the project will establish theoretical foundations for generalized reasoning and develop domain-independent methods for learning useful abstractions over ASP programs. Candidates should have a solid background in symbolic AI and good programming skills. One PhD position is available with an immediate start, and the other position is from 1 July 2026.

The Center for Mind & Cognition at Ruhr University Bochum currently offers 7 fellowship options multiple across disciplines.

The position is funded under the project “Centre for Credible AI at the Warsaw University of Technology”. Research topics include: counterfactual explanations, mechanistic interpretability, expressivity, biomedical applications, computational social choice, multi-agent systems.

This position is intended for researchers who obtained their PhD degree no longer than five years ago.

AI4KIDS addresses the critical need for child-centric safe AI by developing a norm-first Belief–Desire–Intention (BDI) architecture where generative models (LLMs) are constrained by machine-readable child-protection policies to ensure purposeful, legally compliant, explainable and auditable AI behaviour. 

The role focuses on designing safe, norm-constrained AI architectures for child-centric applications, combining multi-agent systems, LLMs, and social robotics within an international team. The project also includes industrial validation with social robotics platforms (e.g., QTrobot) for deployment in educational and special-needs contexts, marrying computational law, symbolic AI, and large-scale evaluation into a blueprint for safe child-facing AI.

The AI for Math Summer Fellowship is a 10-week (June 15 - August 21, 2026) research program placing students within active projects supported by the AI for Math Fund. Seven fellows will be selected to work directly with leading research teams advancing artificial intelligence for mathematics, including work on automated theorem proving, proof assistants, formal verification, mathematical datasets, and open-source research infrastructure.

Fellows will receive a $20,000–$30,000 stipend, depending on geography, experience, and project scope. Renaissance Philanthropy will cover travel costs if necessary for fellows who need to temporarily relocate for the placement.