Back

Informal Systems

Informal Systems is a remote-first company with offices in Toronto, Lausanne, Vienna and Berlin. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees.

We believe in the flourishing of better relationships between people and protocols.

Informal is a core contributor to Cosmos , where we develop interoperable blockchain systems by heavily relying on formal verification tools and techniques (formal specification in TLA+, symbolic model checker Apalache, Model Based Testing Framework, etc).

Our mission is to transform the quality standards of three key institutions:

🧑‍💻️ Software: How it is built and deployed

🪙 Money: How it is issued and distributed

🏛 Organizations: How they are owned and governed

Full time
 
Golang Engineer
Informal Systems Remote (Toronto, Berlin, Vienna, Lausanne)
About Informal Systems Informal Systems is a remote-first company with offices in Toronto, Lausanne, Vienna and Berlin. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees. Informal is a core contributor to  Cosmos , where we develop interoperable blockchain systems by heavily relying on formal verification tools and techniques (formal specification in TLA+, symbolic model checker Apalache, Model-Based Testing Framework, etc.). The Cosmos technology stack, including Tendermint Core, the Cosmos-SDK, IBC, and the Cosmos Proof of Stake modules, is an industry-leading Go toolkit for building, deploying, and running community-owned decentralized networks. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization. As a Go Engineer, you will have the opportunity to work with the product teams to improve APIs...

Nov 16, 2023