Core Engineer

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). 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 blockchains. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization. As a Core Engineer, you will have the opportunity to work on Tendermint Core - the Byzantine fault-tolerant, distributed state machine replication engine at the heart of the Cosmos stack. This role will interact with the developer relations, protocol design, IBC, Cosmos SDK and Cosmos Hub teams to ensure that Tendermint reliably delivers value for the ecosystem.

What your primary responsibilities will be:

• Learn about and integrate into the Cosmos blockchain ecosystem.
• Contribute correct, clean, well-tested, and well-documented code.
• Improve the user experience and quality of the software.
• Review issues and pull requests and provide valuable feedback to contributors.
• Design and architect changes to the system to better support users’ needs.
• Build and maintain supporting tooling and infrastructure to enable effective maintenance and QA.

What we look for in a successful Core Engineer:

• Experience writing software in Golang, Rust or a similar language.
• Experience in distributed systems or blockchain engineering preferred.
• Ability to learn new programming languages.
• Commitment to product quality and user experience.
• A track record of designing maintainable APIs that are a delight to use.
• Experience with open-source projects and communities.
• Some familiarity with blockchain systems is preferred.