They’re hiring.

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.

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

However, many of these components were designed in 2016, back when the Cosmos vision of an “Internet of Sovereign, Interoperable Blockchains” was but a dream. Today, it is rapidly becoming a reality, and with it, a new set of requirements and tremendous learnings about the technology stack necessary for the next 5 years. We are building this stack in Rust, including many of the key components of the Cosmos ecosystem, but designed more natively for a multi-chain reality. This includes Hermes, the leading IBC relayer for communication between blockchains, as well as a new multi-chain consensus node based on Tendermint and a new framework for developing secure and verifiable applications in Rust.

As a Rust Engineer in Cosmos, you will have the opportunity to contribute to and lead varioues aspects of this undertaking and work on core, open-source infrastructure at the heart of the emerging Internet of Blockchains.