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: Mar 29 2024 at 04:18 UTC