Stream: Announcements

Topic: Postdoc and Internship positions at IBM Research

view this post on Zulip Jason Rute (Oct 14 2022 at 22:24):

IBM Research is looking for both a post-doc and a summer intern, both to work at the intersection of AI and interactive theorem proving with me and others.

Last updated: Dec 07 2023 at 16:21 UTC