Senior Software Engineer - Security Audits

Senior Software Engineer - Security Audits

Serbia, Croatia, Remote

About Informal Systems

The Cosmos Ecosystem is a complex, multi-billion dollar decentralized web of software, networks, and organizations on the frontier of secure distributed systems infrastructure and applications. Informal Systems is a core contributor to Cosmos, where we specialize in the security of interoperable 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 combines 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.

Role Overview:

We are seeking a skilled and experienced Software Engineer to join our Security team. In this role, you will work with the team to ensure the security and integrity of our clients' blockchain ecosystems. Your primary focus will be conducting thorough security assessments and audits to identify vulnerabilities and mitigate risks.

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

Key responsibilities:

• Conduct comprehensive security assessments of blockchain systems, including reviewing architecture, code, and configuration to identify potential vulnerabilities and security risks.

• Collaborate with 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.

• Contribute to the development and enhancement of internal security tools and methodologies for blockchain security assessments and audits.

What we look for in a successful Senior Software Engineer:

• Educational background in Computer Science, Information Security, or an equivalent experience.

• At least 5 years of software engineering experience related to complex distributed systems, either on the design, implementation or the testing side

• Passionate about correctness.

• Strong programming skills; experience with Golang or Rust is a plus.

• Familiarity with modern infrastructure tools and testing approaches

• Familiarity with app-chain blockchain frameworks such as Cosmos SDK, CosmWasm, Substrate, Solana SDK is a plus.

• 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!