Sections
Headlines ILLC News
Headlines ILLC Events this week
ILLC News
-
(New) Postdoc in Computational Social Choice for Digital Democracy
Deadline: Thursday 22 May 2025Applications are invited for a Postdoctoral Position in Computational Social Choice to work with Prof. Ulle Endriss at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. This position is part of an ERC Synergy Project on Digital Democracy. We specifically encourage women and members of other underrepresented groups to apply for this position.For more information, see here or at https://werkenbij.uva.nl/en/vacancies/postdoc-in-computational-social-choice-for-digital-democracy-netherlands-14010 or contact Ulle Endriss at u.endriss at uva.nl. -
Postdoctoral Researcher Policy, Geopolitics and Knowledge Integration for Quantum-Safe Cryptography
Deadline: Wednesday 30 April 2025The Institute for Logic, Language and Computation (ILLC) and the Institute of Physics at the University of Amsterdam are looking for an ambitious postdoctoral candidate. Your research is part of the NWO-funded research project Quantum Impact on Societal Security.For more information, see here or at https://werkenbij.uva.nl/en/vacancies/postdoctoral-researcher-policy-geopolitics-and-knowledge-integration-for-quantum-safe-cryptography-netherlands-13958 or contact Sebastian de Haro at s.deharo at uva.nl.
ILLC Events this week
-
(New) 28 April 2025, Proof Society Seminar, Stepan Kuznetsov
Speaker: Stepan Kuznetsov (Steklov Mathematical Institute of RAS)Title: Circular and infinitary proofs for complexity analysis of action logicLocation: onlineFor more information, see here or at https://www.proofsociety.org/activities-and-resources/proof-society-seminar/.