Informal Systems is a full-suite Research & Development institution. We work on bold research problems at the intersection of formal verification and distributed systems and develop high-value distributed systems infrastructure in Rust.
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 that secures upwards of $100B in cryptocurrency market cap. At Informal Systems, we use this software daily - we run a Proof of Stake validator, we make payments and other transactions, we test applications with advanced tools, and we build new production-grade components in Rust. As a Go Engineer in Cosmos Tooling, you will have the opportunity to work with these teams across the stack, at the intersection of product, engineering, devops, and research, to deliver delightful and reliable user and developer experiences.