[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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
