Universiteit van Amsterdam

News and Events: Miscellaneous

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 Miscellaneous


  • Erik Palmgren (1963-2019)

    Some very sad news: Erik Palmgren passed away unexpectedly this week at his home in Stockholm, after a short period of bad health.

    Besides being insightful and influential in his own work, mostly on constructive mathematics and related topics in logic, Erik was also a generous and sensitive mentor to many students and younger colleagues, first in Uppsala and then in Stockholm. He will be deeply missed.

    For more information, see http://staff.math.su.se/palmgren/ or contact Peter LeFanu Lumsdaine at , or Jonas Bergström at .
  • PhD Student Position in Mathematical Logic, Bern (Switzerland)

    The Logic Group of the Mathematical Institute of the University of Bern is seeking applications for a PhD student on the Swiss National Science Foundation funded project "Hidden Quantifiers" to conduct research in the areas of universal algebra, proof theory, and non-classical logics. Applicants should be highly motivated and have a strong background in mathematics and logic.

    For more information, contact George Metcalfe at .
  • Tenure Track position at Chapman University

    The Mathematics Program at Chapman University has a tenure track position (assistant professor) in open now. The position is open to all areas of mathematics (including mathematical logic), and will favor candidates who can work within existing groups at Chapman, particularly areas aligned with ILLC interests (https://www.chapman.edu/scst/research/centers-of-excellence/cecat.aspx).

    For more information, see https://academicjobsonline.org/ajo/jobs/14834 or contact M. Andrew Moshier at .
  • PhD position in Theoretical Computer Science at the VU Amsterdam

    Deadline: Sunday 1 December 2019

    We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers). In this project, we will use and extend techniques from automata theory, combinatorics on words, logic, coalgebra and term rewriting.

    For more information, see http://joerg.endrullis.de/vacancy/2019/09/15/phd-vacancy.html or contact Joerg Endrullis at .