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.
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](http://cephalopod.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 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.
Are you an experienced Administrative Assistant looking to support a growing tech company? Are you seeking to apply yourself in an entrepreneurial, transparent, and global business? We’d like to hear from you!
We are looking for an experienced designer who is resourceful and willing to experiment, who is energized by the idea of creating something out of nothing. *We’ve designed the powerful car engine, now you get to design the exterior.*
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!