Home / Jobs / Sr Formal Verification Engineer
Jobs by Role

Sr Formal Verification Engineer
Jobs

No openings found right now · Updated daily

Active Sr Formal Verification Engineer roles are indexed directly from company ATS systems — Greenhouse, Lever, Workday, Ashby, and 15+ others. Advertised salaries average $672k/year based on live listings. 16% 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

$672k

Remote-Friendly

16%

Added This Week

22

Sectors Hiring Sr Formal Verification Engineers
Technology 40Media 2Satellite Communications 1Aerospace 1Education 1E-Commerce 1Logistics 1SaaS 1
Key Specialisations
disruptive-system-architecture 6semiconductor-platform 5low-earth-orbit-satellites 4dsp-solutions 4cloud-computing 4specialized-security-solutions 4semiconductor-manufacturing 3advanced-technology-nodes 3cmos-generation-technologies 3cloud-services 3
In-Demand Skills
Object-oriented programmingFormal verificationUVMASIC Design VerificationHardware verificationSystemVerilogFormal methodsPre-silicon VerificationRegression testingSemiconductor platform
50 shown

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 Engineer

Annapurna Labs Ltd.

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

Formal Verification - DV

Etched

San Jose Onsite Senior Direct
Apply →

Formal Verification - DV

Etched

San Jose Onsite Senior Direct
Apply →

Sr. Physical Design Verification Engineer

Annapurna Labs

Austin, Texas, USA Onsite Senior Direct
Apply →

Principal Design Verification Engineer

Astera Labs

San Jose, United States Senior Direct
Apply →

Senior Design Verification Engineer

Astera Labs

San Jose, United States Senior Direct
Apply →

Sr. Physical Design Verification Engineer

Annapurna Labs

Cupertino, California, USA Onsite 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 →

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 →

Verification Engineer

Annapurna Labs Ltd.

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

Sr. Satellite Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

Irvine, California, USA Onsite Senior Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite 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 →

Sr. Staff Aerospace Software Verification Engineer

Archer

Remote Remote Senior Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Direct
Apply →

Sr. Design Verification Manager

Annapurna Labs

Cupertino, California, USA Onsite Manager 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 →

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 →

Senior Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite Senior Direct
Apply →

Verification Engineer

Annapurna Labs Ltd.

Haifa, HA, ISR Onsite 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 →

Sr Staff Digital Verification Engineer

Renesas Electronics

Shanghai, CN mid Direct
Apply →

Design Verification Engineer

Annapurna Labs (U. S. ) Inc.

Cupertino, California, USA Onsite 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 →

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 →

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 →

ASIC Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

Austin, Texas, USA Onsite Senior Direct
Apply →

Sr. Software Engineer

Edmentum

United States Remote Senior Direct
Apply →

Satellite Design Verification Engineer

Amazon Kuiper Manufacturing Enterprises LLC

San Diego, California, USA Onsite Mid Direct
Apply →

Sr. Android Engineer

Peloton

New York, New York, United States Remote Senior Direct
Apply →

Sr. Staff Engineer

Coupang

Bengaluru Senior Direct
Apply →

Sr. DevSecOps Engineer

MetroStar

Hybrid - Local to D.C. metro area Remote Senior Direct
Apply →

Sr. Electrical Engineer

Amazon Italia Transport Srl

Milan, Lombardy, ITA Onsite Senior Direct
Apply →

Sr Engineer, Software

BlackSky

Remote-US Remote Senior Direct
Apply →

Sr Storage Engineer

Versant

New York, NY, United States Onsite mid Direct
Apply →

Sr. Software Engineer

Globality, Inc.

Palo Alto, CA Senior Direct
Apply →

Sr. Software Engineer

Globality, Inc.

Palo Alto, CA Senior Direct
Apply →

Sr. Product Engineer

Help Scout

United States Remote Senior Direct
Apply →

Sr Storage Engineer

Versant

New York, NY, United States mid Direct
Apply →

Related Searches

Common Questions

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