ILLC News

• 

  PhD position in Neurosymbolic AI

  Deadline: Friday 1 May 2026

  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.

  For more information, see here or at https://werkenbij.uva.nl/en/vacancies/phd-position-in-neurosymbolic-ai-netherlands-14898 or contact Martha Lewis at m.a.f.lewis at uva.nl.
• 

  Postdoctoral Researcher in Philosophical Logic (Propositions)

  Deadline: Monday 27 April 2026

  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!

  For more information, see here or at https://werkenbij.uva.nl/en/vacancies/postdoctoral-researcher-in-philosophical-logic-propositions-netherlands-14939 or contact Luca Incurvati at L.Incurvati at uva.nl.
• 

  Postdoctoral Researcher in Philosophical Logic (Provability)

  Deadline: Monday 27 April 2026

  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!

  For more information, see here or at https://werkenbij.uva.nl/en/vacancies/postdoctoral-researcher-in-philosophical-logic-provability-netherlands-14938 or contact Luca Incurvati at L.Incurvati at uva.nl.
• 

  Two PhD candidates in Philosophical Logic

  Deadline: Monday 27 April 2026
  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!
  For more information, see here or at https://werkenbij.uva.nl/en/vacancies/two-phd-candidates-in-philosophical-logic-netherlands-14955 or contact Luca Incurvati at L.Incurvati at uva.nl.
• 

  Arie Soeteman is one of the new KNAW Faces of Science

  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.

  For more information, see https://www.knaw.nl/nieuws/van-erfgoedtalen-tot-zelfherstellende-nieren-ontmoet-de-nieuwe-faces-science.