over 1 year ago
Remote, United StatesMid Level
Base Salary
$90k - $150k/yr
Responsibilities
- Participate in blockchain smart contract audits and identify, analyze, and address security vulnerabilities.
- Evaluate and define attack models for blockchain security.
- Summarize exploited code characteristics and build or maintain feature code analysis tools.
- Research security analysis tools and emerging technologies to strengthen security offerings.
- Contribute to security consulting, reviews, auditing, penetration testing, and verification services.
Requirements
- Bachelor’s degree or higher, preferably in a science or engineering field, plus 3+ years of work experience.
- Familiarity with fundamental information security concepts.
- Proficiency in at least one of Solidity, Go, Rust, C++, Python, or Node.js, with a solid grasp of common algorithms.
- Strong English reading and writing skills and the ability to work in an English-speaking environment.
- Passion for blockchain technology and willingness to learn and adapt to new technologies.
- Preferred experience includes maintaining or developing production pipelines, static code analysis, blockchain platforms, smart contract security audits, and analyzing on-chain security events.
Benefits
- 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.
- US-based target annual salary is $90,000–$150,000.
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.