From: Tobias Nipkow <nipkow@in.tum.de>
Hi all,
The Department of Computer Science (https://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
The application deadline is January 15th, 2025.
For more information, please consult
<https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/faculty/faculty-affairs/ausgeschriebene-professuren/ingenieurwissenschaften/APTT_Theoretical_Computer_Science1.html>.
Kind regards,
Tobias Nipkow
Last updated: Jan 04 2025 at 20:18 UTC