[TYPES/announce] Assistant Professor (Tenure Track) position at ETH Zurich

[Ralf Jung]

Hi all,

The Department of Computer Science (https://urldefense.com/v3/__https://www.inf.ethz.ch__;!!IBzWLUs!Vv2s-nRM1UPRd5OpGahMdTXH_OAyLQ5jvmAdNeC2zUR7Ump4jdgvkU97M6dr_6LkWUd2ok2o2YZGv0c2f2z7CB3VhOmqh0EDFw$ ) 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://urldefense.com/v3/__https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/faculty/faculty-affairs/ausgeschriebene-professuren/ingenieurwissenschaften/APTT_Theoretical_Computer_Science1.html__;!!IBzWLUs!Vv2s-nRM1UPRd5OpGahMdTXH_OAyLQ5jvmAdNeC2zUR7Ump4jdgvkU97M6dr_6LkWUd2ok2o2YZGv0c2f2z7CB3VhOk8czgbZw$ >.

Kind regards,
Ralf Jung