Nov 16, 2023

Golang Engineer

  • Informal Systems
  • Remote (Toronto, Berlin, Vienna, Lausanne)
Full time Engineering

Job description

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 the codebase quality 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 in 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!

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.