Home / Jobs / Senior Formal Verification Engineer
Jobs by Role

Senior Formal Verification Engineer
Jobs

No openings found right now · Updated daily

Active Senior Formal Verification Engineer roles are indexed directly from company ATS systems — Greenhouse, Lever, Workday, Ashby, and 15+ others. Advertised salaries average $600k/year based on live listings. 12% of roles are remote-friendly. These listings don't come from other job boards — they're pulled from source, so many won't appear on LinkedIn, Indeed, or Glassdoor.

Open Roles

0

Avg Salary

$600k

Remote-Friendly

12%

Added This Week

48

Sectors Hiring Senior Formal Verification Engineers
Technology 41Telecommunications 2Defense Technology 1Satellite Communications 1Autonomous Driving Technology 1Healthcare 1Aerospace 1
Key Specialisations
disruptive-system-architecture 6low-earth-orbit-satellites 6semiconductor-platform 5cmos-generation-technologies 5specialized-security-solutions 4modems 4wireless-solution 4dsp-solutions 4ethernet 3systolic-arrays 3
In-Demand Skills
Formal verificationObject-oriented programmingUVMASIC Design VerificationSystemVerilogHardware verificationRegression testingRTL verificationSemiconductor platformDesign Verification
50 shown

Formal Verification Engineer

Annapurna Labs Ltd.

Tel Aviv-Yafo, TA, ISR Onsite Direct
Apply →

ASIC Formal Verification Engineer, Google Cloud

Google

[Sunnyvale, CA, USA, [111 W Java Dr, Sunnyvale, CA 94089, USA], Sunnyvale, 94089, CA, US] Direct
Apply →

Formal Verification - DV

Etched

San Jose Onsite Senior Direct
Apply →

Formal Verification - DV

Etched

San Jose Onsite Senior Direct
Apply →

Senior Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Senior Direct
Apply →

Senior Design Verification Engineer

Astera Labs

San Jose, United States Senior Direct
Apply →

Formal Methods Engineer

Jane Street

London, England, United Kingdom Direct
Apply →

Formal Methods Engineer

Jane Street

New York, New York, United States Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, Haifa, ISR Onsite Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Senior Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Tel Aviv-Yafo, Tel Aviv, ISR Onsite Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Tel Aviv-Yafo, Tel Aviv, ISR Onsite Senior Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Tel Aviv-Yafo, Tel Aviv, ISR Onsite Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Direct
Apply →

Senior Modem Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

San Diego, California, USA Onsite Senior Direct
Apply →

Design Verification Engineer

Annapurna Labs (U. S. ) Inc.

Austin, Texas, USA Onsite Mid Direct
Apply →

CPU Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Senior Direct
Apply →

Principal Design Verification Engineer

Astera Labs

San Jose, United States Senior Direct
Apply →

Design Verification Engineer

Annapurna Labs (U. S. ) Inc.

Cupertino, California, USA Onsite Direct
Apply →

Android Engineer, Verification

Bolt Technology

Bucharest, Romania Hybrid Senior Direct
Apply →

Android Engineer, Verification

Bolt Technology

Bucharest, Romania Hybrid Senior Direct
Apply →

Senior Silicon Design Verification Engineer, Google Cloud

Google

[Bengaluru, Karnataka, India, [3, Old Madras Rd, Sadanandanagar, Bennigana Halli, Bengaluru, Karnataka 560038, India], Bengaluru, 560038, KA, IN] Senior Direct
Apply →

Verification Intern

AST SpaceMobile

Hyderabad, Telangana, India Onsite Entry Direct
Apply →

Silicon Design Verification Engineer

[Mountain View, CA, USA, [100 Bay Vw Dr, Mountain View, CA 94043, USA], Mountain View, 94043, CA, US] Onsite Direct
Apply →

ASIC Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

Austin, Texas, USA Onsite Senior Direct
Apply →

Satellite Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

San Diego, California, USA Onsite Mid Direct
Apply →

Senior Product Manager - Document Verification

Socure

Hybrid - US Remote Senior Direct
Apply →

Silicon Design Verification Engineer ll

Google

[Bengaluru, Karnataka, India, [3, Old Madras Rd, Sadanandanagar, Bennigana Halli, Bengaluru, Karnataka 560038, India], Bengaluru, 560038, KA, IN] Mid Direct
Apply →

FPGA Verification Engineer

Anduril Industries

Costa Mesa, California, United States Onsite Direct
Apply →

Spacecraft Software Development & Verification Engineer

ERC

United States-Texas-Houston Onsite Direct
Apply →

Product Verification and Validation Engineer

Tactacam

Billings, Montana, United States Direct
Apply →

Verification student

Annapurna Labs LTD

Tel Aviv-Yafo, Tel Aviv, ISR Onsite Direct
Apply →

Sr. Physical Design Verification Engineer

Annapurna Labs

Austin, Texas, USA Onsite Senior Direct
Apply →

Lead ASIC Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

San Diego, California, USA Onsite Lead Direct
Apply →

Sr. Physical Design Verification Engineer

Annapurna Labs

Cupertino, California, USA Onsite Senior Direct
Apply →

Senior AMS Verification Engineer

Renesas Electronics

Istanbul, TR mid Direct
Apply →

Sr. ASIC Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

Austin, Texas, USA Onsite Senior Direct
Apply →

Sr. Physical Design Verification Engineer

Annapurna Labs

Cupertino, California, USA Onsite Senior Direct
Apply →

Sr. Satellite Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

Irvine, California, USA Onsite Senior Direct
Apply →

Senior Design Verification Engineer

US Flexible Senior Direct
Apply →

ASIC Design Verification Engineer

Waymo

Mountain View, California, United States Hybrid Mid Direct
Apply →

Silicon Design Verification Engineer, Google Cloud

Google

[Bengaluru, Karnataka, India, [3, Old Madras Rd, Sadanandanagar, Bennigana Halli, Bengaluru, Karnataka 560038, India], Bengaluru, 560038, KA, IN] Direct
Apply →

ASIC Design Verification Engineer, TPU Cloud

[Sunnyvale, CA, USA, [111 W Java Dr, Sunnyvale, CA 94089, USA], Sunnyvale, 94089, CA, US] Onsite Direct
Apply →

Digital Design Verification Engineer

OLIX

Bristol Onsite Senior / Staff Direct
Apply →

System Verification Test engineer

Baxter

Bangalore, Karnataka Onsite Senior Direct
Apply →

NPU Design Verification Principal/Staff Engineer

Bitdeer Technologies Group

Singapore Principal/Staff Direct
Apply →

Layout Verification / PEX Engineer

PsiQuantum

Palo Alto, California, United States Onsite Direct
Apply →

Sr. Staff Aerospace Software Verification Engineer

Archer

Remote Remote Senior Direct
Apply →

Verification Engineer (f/m/d)

Renesas Electronics

Edinburgh, United Kingdom mid Direct
Apply →

Related Searches

Common Questions

How many Senior Formal Verification Engineer jobs are available?
JobsGlitch lists active Senior Formal Verification Engineer jobs sourced daily from Greenhouse, Lever, Ashby, Workday, and other top ATS platforms.
What skills are required for Senior Formal Verification Engineer roles?
The most in-demand skills for Senior Formal Verification Engineer roles are Formal verification, Object-oriented programming, UVM, ASIC Design Verification, SystemVerilog. Requirements vary by seniority and company.
What is the average salary for a Senior Formal Verification Engineer?
The average salary for Senior Formal Verification Engineer roles on JobsGlitch is approximately $600k/year. Compensation varies by location, seniority, and company.
Are there remote Senior Formal Verification Engineer jobs?
Yes — 12% of Senior Formal Verification Engineer jobs on JobsGlitch are remote-friendly. Browse remote Senior Formal Verification Engineer jobs at jobsglitch.com/jobs/remote/senior-formal-verification-engineer.