Blockchain Security Architect: Cosmos - Informal Security

Blockchain Security Architect: Cosmos

Type: Full Time
Location: Remote (Canada, Austria, Germany, Switzerland, UK, USA)
Team: Informal Security

About Informal

Informal Systems is committed to making modern financial and Internet infrastructure more decentralized, secure and accessible to everyone. We develop critical blockchain infrastructure ourselves (Informal is a maintainer of Cosmos Hub, Comet and IBC) and we also help other organizations design secure and efficient blockchain systems.

The Security Services team is dedicated to helping organizations design secure and efficient blockchain systems, encompassing a wide array of applications from decentralized exchanges (DEXs), smart contracts, and decentralized finance (DeFi) platforms to interchain connection protocols that enable seamless communication and interoperability between diverse blockchain networks. Informal systems approaches combine manual code inspection with automated software analysis using our in-house formal verification and testing tools.

Informal Systems is a remote-first company with a presence in North America and Europe. We are structured as a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees.

About the Role

We are seeking a skilled and experienced Software Architect with extensive experience working with frameworks and techniques in the Cosmos ecosystem, such as CosmosSDK, IBC and CometBFT, to join our Security team. In this role, you will work at the cutting edge of blockchain security, utilizing advanced techniques like fuzzing and formal verification, while working with the most advanced projects in the ecosystem.

As a member of our team, you will engage directly with clients, providing expert advice and guidance on blockchain security best practices.

What your primary responsibilities will be:

• Plan and implement security audits for our clients by leading a team of auditors through the audit, defining an audit strategy, conducting a threat analysis and ensuring the coverage of the audit.
• Lead comprehensive security assessments of blockchain systems, including reviewing architecture, code, and configuration to identify potential vulnerabilities and security risks.
• Serve as an expert consultant to development teams to provide security recommendations and assist in implementing best practices for secure blockchain systems.
• Stay up to date with the latest blockchain security threats, vulnerabilities, and industry trends to ensure our clients' systems are protected against emerging risks.
• Participate in security incident response activities, conducting investigations, and providing remediation recommendations when necessary.
• Lead the development and enhancement of internal security tools and methodologies for blockchain security assessments and audits.

What we look for in a successful Security Architect:

• Educational and research background in distributed computing, information security, formal verification, or comparable. Ideally you hold a PhD or equivalent experience in one of these domains.
• Software engineering experience related to complex distributed systems, either on the design, implementation or the testing side.
• Experience with app-chain blockchain frameworks, in particular for Cosmos Strong programming skills; experience with Golang, Rust or Solidity is a plus.
• Ability to lead audit projects from a technical and management perspective
• Passionate about correctness.
• Familiarity with modern infrastructure tools and testing approaches.
• Excellent analytical and problem-solving abilities, with a keen eye for detail.
• Effective communication skills, both written and verbal, to clearly convey complex security concepts to technical and non-technical stakeholders.

Some of our benefits include:

• A unique, caring and friendly culture (learn more about how we work here)
• 25 days (5 weeks) of paid vacation annually, plus 3 Spiritual Days
• Company closure from December 25th to January 1
• Annual Lifestyle benefits (reimbursements for gym memberships, fitness equipment, etc)
• A remote-first, flexible work environment
• A home-office stipend to set you up for success
• Annual company retreats
• Paid parental leave
• ….. and many more!

We are an equal-opportunity employer and value diversity in our organization. We are committed to equal employment opportunities and encourage applications from people of all race, religion, colour, national origin, gender identity, sexual orientation, age, marital status, veteran status, or disability status.

SSek2AE0yD