Careers at Informal

We’re building a world-class team with expertise in distributed systems, formal verification, and open-source ecosystem development. See the open positions below!

Senior Rust Engineer

As a Senior Rust Engineer, you will have the opportunity to work on open-source products and develop correct and reliable software that serves as critical infrastructure in the blockchain ecosystem.

Product Manager - Hermes

We are a lead developer of the Inter-Blockchain Communication (IBC) protocol, an open-source, general purpose protocol platform for communication and coordination between heterogenous distributed ledgers. The design of IBC reflects the key values of the Cosmos Network: Sovereignty and Interoperability. We’re developing Hermes, an IBC relayer service written in Rust. Relayers are the engine of IBC: event-driven, permissionless processes that keep communication and coordination flowing between blockchains. As the Product Manager for Hermes, you’ll drive the product roadmap and own the user experience of a key component of the infrastructure for the Internet of Blockchains.

Researcher

As a Researcher at Informal, you will have the opportunity to design, formally specify and verify distributed protocols that serve as critical infrastructure in the blockchain ecosystem. You will also be involved in development of verification and testing tools and infrastructure that supports development of reliable and correct distributed systems.

Technical Project Lead

We’re looking for someone to manage our open-source blockchain projects in Rust. This is not just a scrum master or agile coaching role - you must be deeply technical and capable of evaluating technical concerns of secure distributed systems protocols and their implementations. A successful Technical Project Lead follows “Servant Leadership”, focuses primarily on serving other engineers (both project members and users), helping to build collective understanding of the project goals and plan, reflecting the project state accurately on Github, and increasing the projects adoption and user engagement.

Senior Distributed Systems Engineer

As a Senior Distributed Systems Engineer, you will have the opportunity to work on open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions of dollars in market capitalization.

Senior Go Engineer - Cosmos Hub

We work closely with our sister organization, Interchain Berlin, on key components of the Cosmos technology stack, including the Cosmos Hub itself. The Cosmos Hub is an industry leading Proof of Stake blockchain, home to the ATOM token, and a gateway to the Internet of Blockchains. Read about our vision for the Cosmos Hub in our blog post, The Cosmos Hub is a Port City. As a Software Engineer for the Cosmos Hub, you’ll be responsible for building, maintaining, and updating the Golang implementation of the Cosmos Hub. See this job description for more details and to apply.

Engineering Lead - IBC

We work closely with our sister organization, Interchain Berlin, on key components of the Cosmos technology stack, including the Inter-Blockchain Communcation (IBC) protocol. IBC is an open-source, general purpose protocol platform for arbitrary communication between heterogenous distributed ledgers. It is at the heart of the Cosmos Network vision for the Internet of Blockchains. See this job description for more details and to apply.

Senior Go Engineer - Tendermint

We work closely with our sister organization, Interchain Berlin, on key components of the Cosmos technology stack, including the Tendermint Core software. Tendermint Core is the industry leading Byzantine Fault Tolerance consensus engine that powers the Cosmos Hub and a number of other high-value public blockchains.

See this job description for more details and to apply.