1 year ago
Remote, United StatesEntry Level
Base Salary
$102k - $180k/yr
Responsibilities
- Audit and review smart contracts, blockchain protocols, and decentralized applications for vulnerabilities.
- Conduct guided security research, investigate new attack vectors, and deliver actionable insights.
- Design, develop, and maintain internal security tools and frameworks.
- Improve internal processes, methodologies, and client-facing service offerings.
Requirements
- Bachelor’s, master’s, or PhD in Mathematics, Computer Science, or Information Security.
- At least one year of hands-on experience with blockchain technologies, including smart contracts and blockchain protocols.
- Experience with threat modeling, risk assessment, and security analysis.
- Proficiency in one or more programming languages, including Rust, Go, Solidity, or Python.
- Passion for cryptocurrency, DeFi, and blockchain technologies.
- Preferred qualifications include academic or practical experience in Mathematics, Cryptography, or Cybersecurity; blockchain security audits; collaboration with Web3 protocols; published CVEs; and success in Attackathons, bug bounties, or audit contests.
Benefits
- Target US annual salary of $102,000–$180,000.
- Medical, vision, and dental insurance for full-time employees.
- 401(k) plan with company matching.
- Life and accidental death and dismemberment insurance.
- Health Savings Account with a high-deductible plan and Flexible Spending Account.
- Flexible paid time off and holidays.
- Applications are accepted on an ongoing basis.
- Employment in the United States requires verification of identity and work eligibility.
About CertiK
CertiK provides blockchain security products and services for Web3 teams, including smart-contract auditing, formal verification, and continuous on-chain monitoring (Skynet). It monetizes through audits, monitoring subscriptions, and related security engagements for protocols, exchanges, and infrastructure providers. Founded in 2018 and headquartered in New York, the privately held company is known for bringing academic formal methods to production smart contracts.