Assistant Professor (Tenure Track) of Theoretical Computer Science at ETH Zürich

The Department of Computer Science at ETH Zurich is looking for an Assistant Professor, with a focus on Theoretical Computer Science, including automated and interactive theorem proving, logic, SAT, SMT, and semantics. Successful candidates are expected to establish and lead a strong research program.