CertiK
certik.com
CertiK is a blockchain security company that specializes in auditing smart contracts and blockchain protocols. It offers security audits monitoring tools and risk assessment services to help projects identify vulnerabilities and improve the safety of decentralized applications and digital assets.
Open 1493 daysVerified live · 1 day ago
4 years ago
Software Engineer (Engineer III to Principal) - Formal Methods
≈ $137k – $275k per year (Estimated) • Lead • 4+ years exp • New York • Remote (United States, Canada) • Master's Degree • Full-Time • Principal
Haskell
OCaml
DevOps
CI/CD
Web3
Smart Contracts
Apply
Report
