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.

About Informal

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 envision a sustainable future of cooperatively owned and governed, open-source, distributed organizations running on reliable distributed systems and are excited to grow the team with amazing individuals who believe in making this future a reality. Some of our benefits include:

• A unique, caring and friendly culture (learn more about how we work here)
• Be part of an exciting new type of organization built on Cooperative principles (learn more here)
• 25 working days of paid vacation annually, plus unlimited Sick leave and 3 Spiritual days
• Company-wide closure from December 25th to January 1, annually
• Annual Lifestyle benefits (reimbursements for gym memberships, fitness equipment, yoga classes, etc.)
• Annual travel budget for educational and career-advancement opportunities
• A remote-first, flexible work environment with global Hub offices to visit
• A home-office stipend to set you up for success
• Annual company retreats
• Paid parental leave
• ...and many more!