[Informal Systems Career] Go Engineer

Informal Systems Career


Full Time

Berlin, Lausanne, Paris, Remote, Toronto, Vienna

About Informal Systems

Informal Systems 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.

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 community owned decentralized networks. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization.

As a Go Engineer, you will have the opportunity to work with the product teams to improve APIs for blockchain queries and transactions. This role will help bridge the gap between formal verification of the protocols and quality of the codebase, and interact with engineering, operations, and applications teams to improve automation across our functions.


What your primary responsibilities will be:

  • Learn and integrate into the Cosmos  blockchain ecosystem
  • Participate in design and development processes across the stack
  • Contribute clean, well tested, and well documented code.
  • Improve the user experience and code-quality of the software.
  • Review issues and pull requests and provide valuable feedback to contributors.
  • Architect and contribute to the launch of upcoming SaaS offerings, including developing back-end services
  • Design new crypto-economic protocols to support interoperability in the emerging Internet of Blockchains
  • Develop key components of the Cosmos Hub, including the Proof of Stake System, IBC, Shared Security, and more.
  • Improve the user experience, correctness, code-quality, and performance of the software.


What we look for in a successful Go Engineer:

  • Experience writing in Golang or a similar language
  • 3 years of experience distributed systems or blockchain programming preferred
  • Familiarity with blockchain systems
  • Commitment to product quality and user experience.
  • A track record of designing maintainable APIs that are a delight to use.
  • A track record of reliably automating processes.
  • Experience with open source projects and communities.
  • The ability to take ownership and see initiatives through.
  • Excellent interpersonal skills, experience working with distributed teams, and enjoys working with and mentoring others.


Some of our benefits include:

  • A unique, caring and friendly culture (learn more about how we work here )
  • 25 days (5 weeks) of paid vacation annually, plus 3 Spiritual Days
  • Company closure from December 25th to January 1
  • Annual Lifestyle benefits (reimbursements for gym memberships, fitness equipment, etc)
  • A remote-first, flexible work environment
  • A home-office stipend to set you up for success
  • Annual company retreats
  • Paid parental leave
  • ….. and many more!

1001 IS

To Apply:

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.


View Other Web3 Job Ads

Leave a Comment