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.
Engineering
Internship - Security Audits
Marketing
Content Marketing Associate
Operations
Blockchain Business Operations Manager - Hub Team
Business Operations Lead - Informal Security
Web3/Blockchain Recruiter
Other
Product Lead - Cycles Protocol
Browse, connect and join a team
Related startups

UX
The most programmable, safety-first lending blockchain for Web3

Phi Labs
Core contributor to Archway, a layer 1 blockchain that enables developers to capture the value they create

Interchain Foundation
Funds, stewards, and responsibly advances the Cosmos ecosystem

Kava Labs
A decentralized blockchain that combines the speed & interoperability of Cosmos with the developer power of Ethereum