The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here.

Screening has started. The application deadline is 30 April, 2021 but screening will continue until the position has been filled.