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.
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.
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.
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
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.
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.
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.
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.
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.
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.
The Senior UX/UI Developer will collaborate with different members across teams, including but
not limited to a graphic designer, a marketing manager as well as development and infrastructure teams to build
out core services and products at Informal.
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!