Our cooperatively owned and governed company is a growing team with world-class expertise in distributed systems, formal verification, and open-source ecosystem development. Discover more about our work on Github and see the open positions below!