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.

Site Reliability Engineer

As a Site Reliability Engineer, you will have the opportunity to contribute to and lead various aspects of core, open-source infrastructure at the heart of the emerging Internet of Blockchains.

Go Engineer - Cosmos Hub

As a Go Engineer for the Cosmos Hub, 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.

Go Developer - Local Currencies

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 blockchains. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization. The Go Developer for Local Currencies will support the development of local currencies, mutual credit and impact uses within the Cosmos ecosystem.

Security Engineer - Cosmos

As a Security Engineer in Cosmos, you will work with teams across the stack on rigorous and high-caliber reviews, tools, processes, and testing regimes to guarantee the quality of the software and the security of the networks that run it.

Go Engineer - Cosmos Tooling

At Informal Systems, we use this software daily - we run a Proof of Stake validator called Cephalapod Equipment, we make payments and other transactions, we test applications with advanced tools, and we build new production-grade components in Go and Rust. As a Go Engineer in Cosmos Tooling, you will have the opportunity to work with these teams across the stack, at the intersection of product, engineering, and devops, to deliver delightful and reliable user and developer experiences.

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.

Researcher

As a Researcher at Informal, you will have the opportunity to design, formally specify and verify protocols that serve as critical infrastructure in the blockchain ecosystem. You will also be involved in the development of verification and testing approaches and tools, as well as in transferring your knowledge of protocol design to support development of correct and reliable systems.

Cosmos Security Lead

As the Cosmos Security Lead at Informal Systems, you will lead security processes across the Cosmos ecosystem as part of a multi-entity Security Team dedicated to protecting the security of the various Cosmos-based networks, nurturing security culture, and coordinating effective vulnerability responses.

Technical Support Specialist

The Technical Support Specialist will oversee and maintain computer hardware and software systems in a remote-first environment for our team members located around the world. Role will work with two organizations, Informal Systems and Interchain Berlin to take ownership of complex technical issues and work directly with internal and cross-functional team members to create solutions.

Don’t miss updates from us
Don’t miss updates from us

We publish regular newsletters on what we're working on at Informal Systems. Stay up to date, and stay in touch, by subscribing today!

Email Address