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 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.
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.
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.
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.