Security Architect - Distributed Systems

Yesterday

Apply Now

Receive Emails with Similar Jobs

Informal Systems

WebsiteLinkedInAll Job Openings

formal verification • distributed systems • software engineering • blockchain • security audits

11 - 50

💰 Convertible Note on 2023-06

Description

• We are seeking a skilled and experienced Software Architect with a background in Distributed Systems 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. • As a member of our team, you will engage directly with clients, providing expert advice and guidance on blockchain security best practices. • 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.

Requirements

• 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 and Ethereum, such as Cosmos SDK, CosmWasm, Solidity/EVM, L2 stacks, and others. • 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.

Benefits

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