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