We are a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. We are a core contributor to the Cosmos Network and work on bold problems at the intersection of formal verification and high-value distributed infrastructure that powers the Cosmos Network, the Internet of Blockchains.
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50 employees
💰 Convertible Note on 2023-06
3 days ago
11 - 50
Join a remote internship at Informal Systems. Investigate the integration of LLMs and formal methods for enhancing security audits.
🇺🇸 United States – Remote
💰 Convertible Note on 2023-06
👨🎓 Internship
⚪️ Entry-level
👮♂️ Security Engineer
🚫👨🎓 No degree required
3 days ago
11 - 50
Join Informal Systems as a Senior Security Engineer, enhancing blockchain security practices and engaging with clients directly.
3 days ago
11 - 50
Join a remote-first company as a recruiter, sourcing the best Web3 talent globally.
3 days ago
11 - 50
Senior Software Engineer at Informal, responsible for core staking operations and infrastructure on Ethereum, and other projects.
🇺🇸 United States – Remote
💰 Convertible Note on 2023-06
⏰ Full Time
🔴 Lead
🟠 Senior
🧑💻 Full-stack Engineer
3 days ago
11 - 50
Seeking a Product Lead for Cycles Protocol, focusing on crypto payment solutions. Drive product vision and strategy in a transformative technology space.
3 days ago
11 - 50
Oversee the Security Services team, driving growth in blockchain security at Informal Systems.
🇺🇸 United States – Remote
💰 Convertible Note on 2023-06
⏰ Full Time
🔴 Lead
🟠 Senior
👮♀️ Engineering Manager