CertiK
Premier blockchain cybersecurity firm providing security audits & penetration tests51-200 EmployeesActively Hiring
Jobs at CertiK
Join our team of talented professionals help secure one of the most exciting and fast-paced industries in the world!
Filter by
Team
Location
Accepted Remote Location
Type
Operations
Financial Analyst (Entry-Level)
NewPosted 3 days ago
Financial Analyst (Entry-Level)
- Data Maintenance & Record Keeping: Maintain, scrub, and organize large sets of financial records, ensuring absolute data integrity across ledgers and reporting systems.
- Reconciliations & Variance Investigation: Assist with and perform detailed daily and monthly reconciliations (e.g., bank, revenue, COGS), including the rigorous investigation of variances and discrepancies.
Remote only • New York City, New York
$60k – $80kSales
Web3 BD
NewPosted 2 months ago
Web3 BD
- Work closely with the Web3 Task Force Team to create stronger connections to the blockchain ecosystem.
- Building a verifiable pipeline of qualified leads and consistently closing deals
Remote only • United States
Engineering
Solidity Compiler Frontend Engineer
NewPosted 10 months ago
Solidity Compiler Frontend Engineer
- Design and implement frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis.
- Optimize compiler performance and improve error reporting and diagnostics.
Remote only • United States
$140k – $220kEngineering
Blockchain Security Expert - AI Track
NewPosted 1 year ago
Blockchain Security Expert - AI Track
- Collaborate with our blockchain security team to develop an LLM-based AI agent for security audit tools.
- Experiment with novel AI techniques to enhance threat detection and risk assessment in blockchain environments.
Remote only • United States
$120k – $180kEngineering
Software Engineer (Engineer III to Principal) - Formal Methods
NewPosted 4 years ago
Software Engineer (Engineer III to Principal) - Formal Methods
- Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools.
- Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR).
Remote only • Seattle, Washington • New York City, New York • San Francisco, California
$115k – $230kEngineering
Senior Security Engineer
NewPosted 1 year ago
Senior Security Engineer
- Design/implement robust security solutions, monitor security threats & safeguard sensitive data to ensure security of CertiK's networks/systems
- Research/develop tools to detect smart contracts security vulnerabilities & enhance audit productivity using formal verification/static analysis/fuzzing methods
In office • New York City
$120k – $190k