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 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 we continue on our effort of building & operating production-grade decentralized software, we are expanding the IBC team to tackle emerging problems at the intersection of product, engineering, devops, and SRE. This is where your work will have the most impact. As a Relayer Reliability Engineer, you will occupy a central role to help us consolidate our goal of delivering a delightful user and developer experience with regards to the IBC protocol.

Opportunities

  • Collaborate with the engineering teams to improve automation across our development processes.
  • Participate alongside product teams to the improvement of APIs for IBC queries and transactions.
  • Work with the engineering teams to facilitate high-coverage testing of Cosmos stack in Rust.
  • Team up with the validator unit to improve the reliability of our production operations.

What your primary responsibilities will be:

  • Contribute to the observability of the Hermes IBC relayer.
  • Help establish a culture of measurement- and metrics-based development and operation of our software.
  • Participate in R & D processes across the stack.
  • Improve the user experience and code-quality of the software we write.
  • Contribute clean, well tested, and well documented code.
  • Review issues and pull requests and provide valuable feedback to contributors.
  • Mentor other engineers and support the growth and health of the team.
  • Guard the quality of the software from technical debt, missing tests or documentation, and feature creep.
  • Nurture a sustainable and enjoyable open-source experience for contributors.
  • Operate and maintain validator and relayer services in a hybrid cloud environment.
  • Help establish and achieve relayer SLOs.
  • Architect the launch of upcoming SaaS offerings, including developing back-end services.

What we look for in a successful Relayer Reliability Engineer:

  • Experience with the Hashicorp stack, including Terraform, Nomad, Consul, Vault.
  • Experience with CI/CD, Docker, and automated builds.
  • Experience with observability tools such as Zabbix or Grafana.
  • Experience with Amazon AWS services and networking.
  • Experience with scripting languages (bash and Python), as well as with higher level programming languages (namely, Go and Rust).

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 provide 5-weeks of paid vacation, lifestyle benefits, and annual retreats with the whole team. 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.

To Apply:

Please apply via this link where you’ll be prompted to upload a cover letter, CV, and other information that will help the review process go smoothly.

We are an equal opportunity employer and value diversity in our organization. We are committed to equal employment opportunities and encourage applications from people of all race, religion, colour, national origin, gender identity, sexual orientation, age, marital status, veteran status, or disability status.

Don’t miss updates from us
Don’t miss updates from us

We publish regular newsletters on what we're working on at Informal Systems. Stay up to date, and stay in touch, by subscribing today!

Email Address