| ▲ | caladin 10 hours ago | |
Anyone know what kinds of jobs might use lean? Or jobs that are in a related space? | ||
| ▲ | giltho 10 hours ago | parent | next [-] | |
Beyond academic research, a non-exhaustive list of people using either Lean or related tech: - Amazon (where they even hired the creator of Lean to pursue this) - Microsoft (mostly cryptography but also other stuff) - ARM (hardware verification) - Apple (hardware verification, that I'm aware of) - Lots of companies verifying things for blockchain technologies if you're into that - More specialised companies, e.g. Galois Inc. | ||
| ▲ | griffzhowl 9 hours ago | parent | prev | next [-] | |
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-... | ||
| ▲ | 5 hours ago | parent | prev [-] | |
| [deleted] | ||