General Application

Type: Full Time

Location: Remote (US, Canada Europe)

Team: General

Are you interested in joining Informal Systems?

Informal Systems is always seeking great talent! Whether you are a researcher, research engineer, developer, operations professional or excited about any of the work we do, apply to this role and we will reach out to you! General Applications are considered for all positions, so if you are unsure of which role on our website may be the right fit, apply to this posting and we will evaluate your skill set for all our open roles and get back to you.

We encourage all interested applicants to apply, irrespective of your level of skill or experience - we are always seeking candidates from diverse backgrounds who are interested in learning and being a part of the Blockchain space and Cosmos ecosystem.

About Informal Systems

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.

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.

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!