"formal verification" Jobs

226 open tech roles matching “formal verification”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, AWS, Java. Every listing is re-checked daily and closed roles are removed.

Showing 20 of 226 results

CertiK

Support client delivery and develop Web3 regulatory services in a remote role at CertiK.

CertiK Europe / Remote Published 1 week ago
Mysten Labs

Join Mysten Labs as a Security Engineer to enhance security across the Sui ecosystem with a focus on application security and tooling.

Mysten Labs USA (Remote) Published 2 weeks ago
Flexible on stack AI-first team
Mysten Labs

Join Mysten Labs as a Senior Security Engineer to protect the Sui ecosystem and strengthen security across DeFi protocols.

Mysten Labs USA (Remote) Published 1 month ago
Flexible on stack
CertiK

Join CertiK to drive business development in the Web3 ecosystem by connecting with founders and decision makers.

CertiK United States Published 12 hours ago
Coinbase

Join Coinbase as a Risk & Monitoring Analyst III to enhance operational quality in financial crime operations.

Coinbase Remote - UK £50.4k–£53.1k/yr Published 1 month ago
CertiK

Manage the delivery of security engagements for blockchain projects while ensuring client satisfaction and project alignment.

CertiK US / Remote Published 1 week ago
Coinbase

Join Coinbase as a Risk & Monitoring Analyst III to enhance quality assurance in financial crime operations.

Coinbase Remote - UK £53.1k–£53.1k/yr Published 1 month ago
Horizon3.ai

Join Horizon3.ai as a Staff Software Engineer to lead backend development for the NodeZero platform in a fully remote environment.

Horizon3.ai US, Remote $230k–$270k/yr Published 6 days ago
Flexible on stack
CertiK

Lead product management for regulatory technology solutions in the digital assets space with a focus on client needs.

CertiK New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Published 1 month ago
Coinbase

Lead the design and implementation of compliance data systems in a remote-first environment at Coinbase.

Coinbase Remote - USA $230.3k–$270.9k/yr Published 2 weeks ago
Twilio

Join Twilio as a Senior Internal Auditor to enhance internal controls and drive SOX compliance in a remote-first environment.

Twilio Remote - US $96.6k–$120.8k/yr Published 1 month ago
SentiLink

Lead SentiLink's security governance and risk management programs in a fully remote role.

SentiLink United States $200k–$260k/yr Published 4 days ago
CertiK

Join CertiK as a Solutions Consultant to engage with banks and regulators in Europe, addressing their digital asset needs.

CertiK EU Published 1 month ago
Vanta

Join Vanta as a Subject Matter Expert to guide compliance programs and support sales teams in a fully remote environment.

Vanta Remote U.S. Published 2 months ago
Coinbase

Own complex compliance programs at Coinbase, driving strategy and execution in a remote-first environment.

Coinbase Remote - USA $130.9k–$154k/yr Published 4 weeks ago
TRM Labs

Join TRM Labs as a Solutions Architect to lead technical sales cycles for onchain compliance in a fully remote environment.

TRM Labs United States Published 3 days ago
Flexible on stack
CertiK

Lead product management for regulatory technology in the digital assets space, focusing on client needs and product roadmaps.

CertiK APAC / Philippines / Remote / Published 1 month ago
Check

Lead a team focused on resolving complex payroll issues in a remote-first environment.

Check Remote Published 1 month ago
Horizon3.ai

Shape the engineering system behind a rapidly evolving cybersecurity product as a Staff Developer Experience Engineer.

Horizon3.ai US, Remote $199.8k–$270k/yr Published 1 month ago
Flexible on stack