Two Assistant Professor and/or Support Positions in FSA

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.

The application deadline is 15 April, 2021; screening will continue until the position has been filled.