Full-time research scientist position

Stream: job postings

[Tudor achim]

Hey everyone, we got some pretty amazing responses to https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/paid.20part-time.20opportunity.20to.20formalize.20math.20in.20Lean.204/near/400018501. I wanted to mention here that we're also hiring AI research scientists, so if you really believe in Lean and have a strong AI background please reach out to us at ai-research@harmonic.fun .