About Project

Distributed software systems are the foundation for many critical systems in our society; financial services, transport, healthcare, cloud services, and more. Building and maintaining them is difficult, expensive, and error-prone. We’re applying state of the art techniques in formal verification to make distributed systems more verifiable by obtaining mathematical guarantees of correctness. We help teams verify and gain confidence in the systems they design, implement, and maintain.

Globally distributed organizations have become increasingly fundamental to business, though building and maintaining them is difficult, expensive, and error-prone. We’re applying open-source, plaintext, and version control philosophies to develop tools to better manage the complexities of human organizations. We help teams reduce their operating and administrative overhead, making their organizations more verifiable and compliant.

Informal is developing a Verification Driven Development framework to integrate formal verification techniques into the software development process, promoting greater confidence in system correctness. We’re developing an alternative model checker to the popular TLA+ specification language, called Apalache, that scales to larger systems and significantly reduces verification times.

Informal believes in the power and potential of blockchain technologies, like the Cosmos Network, to create more sustainable and democratic economies. We are a leading contributor to the Tendermint and Cosmos projects, currently focused on formally specifying and verifying protocols and implementing them in Rust.

Informal is building a new kind of organization and tools for managing it. We’re cooperatively owned and governed by our employees. Our goal is to create a new model of technology company with long-term economic alignment for both employees and investors without targeting a singular exit event. We’re building tools to help developer-entrepreneurs manage their corporate state and processes like they manage their code, reducing barriers to entrepreneurship.

Unfilled jobs by project

  • Informal Systems

    As an Infrastructure Engineer, you will help maintain and advance the robust and reliable infrastructure of a Proof of Stake (PoS) Validator. You will act as an active member in…

    Location

    Toronto

    Posted

    6 months ago
    Full Time
    Informal Systems

    As an Infrastructure Engineer you will help maintain and advance the robust and reliable infrastructure of a Proof of Stake (PoS) Validator. You will act as an active member in PoS validator communities, and help support the infrastructure needs of Informal’s product offerings. The validator currently supports the Cosmos Network and you will help expand it to support more PoS networks.

    Infrastructure Engineer Toronto
    Informal

    Infrastructure Engineer

    Toronto

    View Details
  • Informal Systems

    As a Senior Distributed Systems Engineer, you will have the opportunity to work on open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions…

    Location

    Berlin, Toronto, Remote

    Posted

    6 months ago
    Full Time
    Informal Systems

    As a Senior Distributed Systems Engineer, you will have the opportunity to work on open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions of dollars in market capitalization.

    Senior Distributed Systems Engineer Berlin, Toronto, Remote
    Informal

    Senior Distributed Systems Engineer

    Berlin, Toronto, Remote

    View Details
  • Informal Systems

    Technical Project Lead

    We’re looking for someone to manage our open-source blockchain projects in Rust. This is not just a scrum master or agile coaching role – you must be deeply technical and…

    Location

    Berlin, Toronto, Lausanne, Vienna, Paris, Remote

    Posted

    6 months ago
    Full Time
    Informal Systems

    Technical Project Lead

    We're looking for someone to manage our open-source blockchain projects in Rust. This is not just a scrum master or agile coaching role - you must be deeply technical and capable of evaluating technical concerns of secure distributed systems protocols and their implementations. A successful Technical Project Lead follows "Servant Leadership", focuses primarily on serving other engineers (both project members and users), helping to build a collective understanding of the project goals and plan, reflecting the project state accurately on Github, and increasing the projects adoption and user engagement.

    Technical Project Lead Berlin, Toronto, Lausanne, Vienna, Paris, Remote
    Informal

    Technical Project Lead

    Berlin, Toronto, Lausanne, Vienna, Paris, Remote

    View Details
  • Informal

    Senior Rust Engineer

    As a Senior Rust Engineer, you will have the opportunity to work on open-source products and develop correct and reliable software that serves as a critical infrastructure in the blockchain…

    Location

    Berlin, Toronto, Remote

    Posted

    6 months ago
    Full Time
    Informal

    Senior Rust Engineer

    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.

    Senior Rust Engineer Berlin, Toronto, Remote
    Informal

    Senior Rust Engineer

    Berlin, Toronto, Remote

    View Details