CertiK

CertiK leverages formal verification technology to mathematically ensure security in systems software.

101-250 employees
Founded 2018
$60M series b
Blockchain
Private Company

Open Positions4

Europe / AsiaInternshipWeb3 SecurityPosted
  • Research and summarize regulatory frameworks and licensing requirements.
  • Support licensing and regulatory-readiness projects, including applicability research, gap analysis, evidence requests, policy review, and application-document preparation.
  • Organize regulatory requirements into structured modules, evidence categories, checklists, and mappings.
  • Review AI outputs for factual consistency, source traceability, missing information, and formatting issues.
  • Prepare initial drafts of compliance analyses, evidence guidance, client reports, pitch-deck content, and review materials.
  • Support the maintenance of regulation-to-service mappings, evidence checklists, and submission-material reuse mappings.
  • Organize customer-provided materials and identify potential evidence gaps for reviewer confirmation.
  • Record reviewer feedback and update templates, evaluation cases, and compliance knowledge assets.
  • Support coordination and request tracking across client-facing teams, compliance reviewers, and Engineering.
  • Escalate unclear regulatory interpretations and unsupported conclusions to experienced reviewers.
Showing 1 of 4 positions

Overview

CertiK provides blockchain security, compliance, and infrastructure services, including smart contract audits, formal verification, penetration testing, on-chain monitoring, incident response, and compliance solutions. The company serves exchanges, custodians, DeFi protocols, stablecoin issuers, tokenization platforms, financial institutions, and enterprises utilizing distributed ledger technology. CertiK was founded in 2017 by professors from Yale University and Columbia University. The company employs 101-250 individuals and is headquartered in New York City.

Culture

CertiK has a global workforce. The company offers flexible paid time off and flexible work schedules.

Technology and Engineering Work

CertiK develops and utilizes AI technology for blockchain security and smart contract monitoring. The company offers Smart Contract Audits, Skynet, Formal Verification, Penetration Testing, SkyInsights, DLT Security Solutions, AI Auditor, KYC Verification, and CertiK Validator Service. Technologies used by CertiK include SPF, Google Tag Manager, SSL by Default, Viewport Meta, HSTS, IPhone / Mobile Compatible, DMARC, DNSSEC, and Google Analytics. The company also uses Python or Google Apps Script for automating reconciliation tasks.

Why Work Here

CertiK operates with a remote workforce. The company provides flexible paid time off and flexible work schedules.

Benefits and Perks

  • Medical insurance
  • Vision insurance
  • Dental insurance plans
  • 401(k) with company match
  • Life insurance
  • Disability insurance
  • Pet insurance
  • Telehealth services
  • Flexible paid time off
  • Paid holidays

Tech Stack

analyticsmobilewidgetsmx

Similar Companies