Site Reliability 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 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.

What your primary responsibilities will be:

• Learn and adapt to the Cosmos blockchain ecosystem


• Operate and maintain validator and relayer services in a hybrid cloud environment


• Architect/contribute to the launch of upcoming SaaS offerings, including developing back-end services

What we look for in a successful Site Reliability Engineer:

• Experience with the Hashicorp stack, including Terraform, Nomad, Consul, Vault


• Experience with observability tools such as Zabbix, Grafana, etc.


• Experience with Amazon AWS services and networking


• Experience with higher level programming languages such as Go, Rust, Java, C++

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.