Assistant Professorship at ETH

Stream: job postings

[Joachim Breitner]

Maybe this could be of interested to someone here? Mentions “Interactive Theorem Proving”.
https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/faculty/faculty-affairs/ausgeschriebene-professuren/ingenieurwissenschaften/APTT_Theoretical_Computer_Science1.html

[Rasmus]

Dear all,

I see that Joachim already found this.

The ETH Zurich Department of Computer Science has a search this year for an assistant professor working in areas including Automated and Interactive Theorem Proving.

I would be very excited to see strong applicants whose research includes ML/AI/LLM-informed approaches to automated theorem proving. If you know someone with a suitable profile, please encourage them to apply!

Best regards,

Rasmus Kyng