Zulip Chat Archive
Stream: Lean Together 2021
Topic: MSR internship ad
Rob Lewis (Jan 04 2021 at 20:47):
Forwarding a message from the chat earlier from Olli Saarikivi:
hi! if anyone's looking for internships and would be interested in working in the intersection of HPC/ML and theorem proving send me a message at olli.saarikivi@microsoft.com
Last updated: May 02 2025 at 03:31 UTC