Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Assistant Professor (Tenure Track) position at...


view this post on Zulip Email Gateway (Oct 09 2024 at 12:42):

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

smime.p7s


Last updated: Jan 04 2025 at 20:18 UTC