Responsibilities:

📍Evaluate and analyze existing zkSNARK and zkSTARK proof systems such as Groth '16, Ben-Sasson '18, and PLONK for security, expressivity, and performance while also monitoring the state of the research field for compelling new theoretical advances 📍Update and alter existing cryptographic protocols, customizing them for specific proof-of-concept and production use-cases 📍Produce technical specifications for designs and instances of cryptographic protocols and assist with implementation 📍Implement, review, and test cryptographic operations and protocols, primarily in Rust 📍Evaluate existing implementations 📍Bring DeFi to reality on Cosmos-SDK-based chains.

Requirements:

📍5+ years experience in software development and relevant experience in blockchain technologies. 📍Degree in Computer Science or related field 📍Prior experience with cryptographic protocols, especially zkSNARKS or zkSTARKs 📍Experience with a proof assistance such as Idris, Coq, or Agda 📍Prior experience in low-level systems programming, ideally in Rust. C++ experience ok. 📍Experience with Cosmos-SDK. 📍Knowledge of fault-tolerant consensus protocols like PBFT or Raft. 📍Ability to write production-quality code. 📍Proven track record of delivering applications on time and on budget. 📍Experience working with distributed teams across timezones 📍Experience designing and building performant and scalable network protocols. 📍You are passionate about blockchain, have used DeFi dApps and believe in the opportunity of decentralization and blockchains to change how the financial world works today 📍You thrive in a startup environment and feel best working in a small, cross-functional team where you can roll up your sleeves and be hands on 📍You have an interest in working in a self organizing environment and bring creativity to start your own initiatives within the Cosmos Stargate SDK