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

		griffzhowl 3 days ago \| parent \| context \| favorite \| on: Lean theorem prover mathlib 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-...