formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50
💰 Convertible Note on 2023-06
9 hours ago
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50
💰 Convertible Note on 2023-06
• Collaborate closely with the security architects and senior engineers to develop and implement a comprehensive threat analysis • Conduct security reviews of blockchain projects in the Cosmos ecosystem • Utilize various security testing methods including fuzzing, testing, and formal verification tools • Perform manual code reviews to identify potential vulnerabilities • Contribute to the preparation of audit reports and client presentations • Participate in client meetings to discuss findings and security recommendations • Assist in the development and improvement of internal security tools • Collaborate with team members on complex security issues and learn from their expertise • Help maintain and expand the company's knowledge base with insights from audits and research • Actively pursue professional development in blockchain security, staying current with new trends and attack vectors • Support senior team members in research activities and tool development projects • Participate in internal training sessions and contribute to the team's collective knowledge
• Educational background in Computer Science, Information Security, or equivalent experience. • At least 2 years of software engineering experience related to complex distributed systems, either on the design, implementation or the testing side • 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. • Nice to have: • Previous auditing experience • Experience working with Fuzzing tools in Rust and/or Go • Demonstrated experience with building, testing, and/or auditing complex software
• 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!
Apply NowOctober 12
1001 - 5000
Support cyber security operations at Scotiabank's Cyber Security Operations Centre.