CertiK

Blockchain Security Expert - AI Track

CertiK
Apply
1 year ago
Remote, United StatesMid Level

Base Salary

$120k - $180k/yr

Responsibilities

  • Collaborate with the blockchain security team to develop an LLM-based AI agent for security audit tools.
  • Experiment with AI techniques to improve threat detection and risk assessment in blockchain environments.
  • Translate research on AI agents into practical, scalable security auditing solutions.
  • Research emerging trends in LLMs, AI agent architectures, and cybersecurity and propose improvements.

Requirements

  • Bachelor’s degree or higher, preferably in a science or engineering field.
  • At least 2 years of security or software development experience.
  • Familiarity with blockchain and smart contract technologies.
  • Familiarity with agentic coding tools such as Cursor, Windsurf, and Cline.
  • Strong problem-solving, learning, technology adoption, and collaboration skills.
  • Preferred: research or project experience developing AI agents or automated security analysis tools.
  • Preferred: ability to translate research insights into production-ready tools.
  • Preferred: knowledge of web3 security audits and hands-on blockchain security experience.

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.
  • US target annual compensation of $120,000–$180,000.

Categories

CertiK

About CertiK

201-500 employees

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.

Contact me