The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer Science including:

● Automated and Interactive Theorem Proving
● Logic
● SAT, SMT
● Semantics

You can find detailed information about the role here: ETH Zurich – Theoretical Computer Science Position.

The online application for this professorship is now closed. However, applications can still be submitted via email as a single PDF to faculty-recruiting@sl.ethz.ch.