About Us
Products
Security Audits
Staking
Blog
Blog
Dev Update: Cosmos Protocol Design and Formalization
2021-03-16
Ethan Buchman, Zarko Milosevic, Josef Widder
Research, Engineering
Start your career with Informal Systems
Apply Now
Our R&D powers and secures the Interchain.
Visit us on Twitter
Visit us on LinkedIn
Links
About Us
Products
Security Audits
Staking
Careers
Blog