Our cooperatively owned and governed company is a growing team with world-class expertise in distributed systems, formal verification, and open-source ecosystem.