formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50
November 8
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50
•We are seeking a skilled and experienced Security Engineer to join our Security team. •Work at the cutting edge of blockchain security, utilizing advanced techniques like fuzzing and formal verification. •Engage directly with clients, providing expert advice and guidance on blockchain security best practices. •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. •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 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 NowNovember 7
51 - 200
Manage cybersecurity tasks and enhance compliance for AI-powered support platform.
November 7
501 - 1000
Security Administrator I maintains and monitors integrity of networks and security systems at Engle Martin.
November 6
1001 - 5000
Security Engineer at Dropbox to safeguard digital ecosystems and protect user data.
November 4
1001 - 5000
Consultant delivering cybersecurity risk management services at Clearwater.
November 4
1001 - 5000
Analyze cybersecurity threats for Florida Blue and apply mitigations.
🇺🇸 United States – Remote
💵 $80.8k - $101k / year
⏰ Full Time
🟢 Junior
🟡 Mid-level
👮♂️ Security Engineer