These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines ILLC News
Headlines ILLC Events this week
(New) PhD in Cyclic Proofs for Modal and Higher-order LogicDeadline: Monday 28 February 2022Do you have the technical skills and the scientific interest to conduct cutting-edge research in logic? We are looking for a PhD candidate for the research project Cyclic Proofs for Modal and Higher-order Logic.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic/740454902/ or contact Bahareh Afshari at b.afshari at uva.nl.
(New) PhD Researcher in Cognitive Psychology and Causal ModelingDeadline: Monday 21 February 2022Do you like/are you looking for a challenging job in a dynamic setting? The Institute for Logic, Language and Computation is looking to fill one PhD postion in the research project The biased reality of online media – Using stereotypes to make media manipulation visible of Katrin Schulz and Leendert van Maanen.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-Researcher-Cognitive-Psychology-and-Causal-Modeling/740379102/ or contact Katrin Schulz at k.schulz at uva.nl.
Web Developer Back-end Engineer for Music Related Citizen Science InfrastructureDeadline: Tuesday 15 February 2022Are you looking for a challenging job in a dynamic interdisciplinary team? The Institute for Logic, Language and Computation (ILLC) is looking for an enthusiastic and experienced back-end engineer, contributing to the development of a flexible and sustainable infrastructure for MUSic-related Citizen Science Listening Experiments (MUSCLE). The project is funded by a PDI-SSH grant awarded to the Music Cognition Group (MCG), part of the research unit Language & Music Cognition (LMC), at the ILLC.For more information, see here or at https://vacatures.uva.nl/UvA/job/Web-Developer-Back-end-Engineer-for-Music-Related-Citizen-Science-Infrastructure/738928502/ or contact Henkjan Honing at H.J.Honing at uva.nl.
Multiple Faculty Positions in Theoretical Computer ScienceDeadline: Monday 7 February 2022
Are you working at the forefront of theoretical computer science and are you equally passionate about research and teaching in this field? Are you looking forward to taking the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor level, and another at either the Associate Professor or the Assistant Professor level.
We are looking for outstanding academics, with a strong track record in research (relative to the level of seniority of the applicant) and a true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a positive assessment.For more information, see here or at https://vacatures.uva.nl/UvA/job/Faculty-Positions-in-Theoretical-Computer-Science/737826402/ or contact Prof. dr. Ulle Endriss at U.Endriss at uva.nl.
(New) ILLC history book by Johan van Benthem and Martin Stokhof now available online
The history book of the ILLC, People, ideas & practices, written by Johan van Benthem and Martin Stokhof, has been made available online.For more information, see https://www.illc.uva.nl/AbouttheILLC/About/History-book-about-ILLC/ or contact Johan van Benthem at J.vanBenthem at uva.nl.
ILLC Events this week
26 January 2022, LLAMA seminar, Stefan ZetzscheSpeaker: Stefan Zetzsche (University College London)Title: Canonical Automata via Distributive Law HomomorphismsLocation: Online (Zoom)For more information, see https://events.illc.uva.nl/llama/#talk-zetzsche-2022 or contact Tobias Kappé at t.kappe at uva.nl.
28 January 2022, ILLC Current Affairs Meeting and new year drinksLocation: Zoom
As in previous editions, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.
This edition will be followed by new year drinks in Gather Town.For more information, contact illc at uva.nl.
(New) 31 January 2022, Master of Logic defense, Daniela Loustalot KnappTitle: Justifying Matching OutcomesLocation: Online (closed session)Supervisor: Ulle Endriss
(New) 31 January 2022, Master of Logic defense, Derek SoTitle: Frege's Identity ProblemLocation: Science Park 107, AmsterdamSupervisor: Martin Stokhof