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.
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.
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 george.metcalfe at math.unibe.ch..
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).
PhD position in Theoretical Computer Science at the VU AmsterdamDeadline: 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 j.endrullis at vu.nl.