Account Manager

As an Account Manager, you'll be responsible for managing the relationships of key stakeholders, including audit partners, relayer stakeholders, core developers, and other community members to ensure they are consistently delighted by their relationship with Informal Systems and Cephalopod Equipment, a trusted Proof of Stake validator, IBC relayer, and general infrastructure provider on multiple Cosmos-SDK networks.

Rust Engineer - Cosmos

As a Rust Engineer in Cosmos, you will have the opportunity to contribute to and lead various aspects of this undertaking and work on core, open-source infrastructure at the heart of the emerging Internet of Blockchains.

Senior Infrastructure Engineer

As the Senior Infrastructure Engineer for Informal, you will have the opportunity to continue expanding our hybrid (AWS / on-prem) container orchestration infrastructure as we become one of the premier infrastructure providers for the Web 3.0 ecosystem.

IBC Project Lead

As we continue on our effort of building & operating production-grade decentralized software, we are looking to expand the IBC team with a project leadership role that aims to tackle coordination problems both within a team and across engineering teams. This is where your work will have the most impact. As an IBC project lead, you will occupy a key operational role.

Cosmos Hub Core Developer

As a Cosmos Hub Core Developer, you will work on core components of the Cosmos Hub, including the Proof of Stake system, IBC, Shared Security, and other key features at the heart of the Internet of Blockchains.

Economics Research Engineer

The Research Engineer will serve as part of an interdisciplinary team applying scientific principles to discover, analyze, and design complex socio-technical and economic systems meeting high level descriptive goals using tools from an array of disciplines from multi-agent control to mechanism design. The Engineer is responsible for developing and documenting mathematical models based on requirements from internal and external stakeholders. The Engineer will use formal analysis techniques to design and refine economic models by characterizing evolutionary tendencies and attack vectors, as well as using stochastic process simulations to explore system trajectories and define practical bounds on system parameters. The Engineer will have opportunities to present work to technical and non-technical audiences, both publicly and privately.

Research Engineer

As a Research Engineer at Informal, you will have the opportunity to design and implement formal verification and testing methods and tools that will be applied for correctness assurance of critical infrastructure in the blockchain ecosystem. You will also be involved in the design, specification, and verification of blockchain protocols, as well as in transferring your knowledge of verification and testing approaches to support development of correct and reliable systems.