ETH Zurich Hiring in Automated Theorem Proving

Stream: job postings

[Rasmus]

Dear all,

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

[Shreyas Srinivas]

Hello @Rasmus : this post will probably reach more people on the #job postings channel. On a different note, nice to see an algorithms researcher on this Zulip

[Terence Tao]

Apologies, this was my fault; I recommended this channel to Rasmus without realizing that there was a dedicated job posting channel.

[Notification Bot]

This topic was moved here from #announce > ETH Zurich Hiring in Automated Theorem Proving by Mario Carneiro.