[griffzhowl]

You could have a look at the job postings on the Lean zulip chat. They're mainly on the academic side, though

https://leanprover.zulipchat.com/#narrow/channel/284757-job-...