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/

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-postings https://leanprover.zulipchat.com/#narrow/channel/284757-job-...