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!

Arie Soeteman investigates how artificial intelligence can reason in a way that resembles how humans think, according to the laws of logic. Using mathematical proofs and by having AI systems solve puzzles, he demonstrates how self-learning computer systems arrive at conclusions. The goal is to develop AI models that we can understand and trust.