Cryptocurrency Jobs turns 5 + a new partnership!  Learn more
Informal Systems logo

Informal Systems

Verifiable distributed systems (of machines) and organizations (of humans)

About

Informal 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 provide 5-weeks of paid vacation, lifestyle benefits, and annual retreats with the whole team. We envision a sustainable future of cooperatively owned and governed, open-source, distributed organizations running on reliable distributed systems. We are excited to grow the team with amazing individuals who believe in making this future a reality.

The Cosmos technology stack is an industry leading toolkit written in Go. It includes Tendermint Core, the Cosmos-SDK, IBC, and the Cosmos Proof of Stake modules, among others, and it is used for building, deploying, and running community owned decentralized networks. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization.

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).

Open jobs

Browse and apply for open positions at Informal Systems.

There are no job openings at Informal Systems listed on Cryptocurrency Jobs right now. You can sign up to receive our weekly email with the latest crypto jobs.

Start a new search now to view all the great job opportunities at teams that are hiring.

Closed

Engineering

Cosmos Hub Core Developer

DevOps Engineer

Site Reliability Engineer

Sales

Account Manager

Join the community

Join us

The decentralized future needs you.