Do 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.

Do 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.

Are 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.

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.

The history book of the ILLC, People, ideas & practices, written by Johan van Benthem and Martin Stokhof, has been made available online.

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.