U.S. Immigration Data

Priority dates, work visas, and labor market data

FORMAL VERIFICATION ENGINEER salaries

21 H-1B & PERM records for "FORMAL VERIFICATION ENGINEER", sourced from U.S. Department of Labor disclosures.

Looking for green-card wait times instead? See EB-1, EB-2 & EB-3 priority dates by country.

Search H-1B & Green Card Salary Data

Source: US Dept of Labor. Represents Base Salary only. Excludes RSUs, signing bonuses, and variable compensation.
Clear Filters

21

Results Found

$138649

Average Salary

$105934

Minimum

$186472

Maximum

Active filters: Job: FORMAL VERIFICATION ENGINEER
Employer Role Location Salary Program Filing Date
NVIDIA Corporation Senior Formal Verification Engineer Santa Clara, CA $186472 - $264500 H-1B Jan 2, 2026
NVIDIA Corporation Senior Formal Verification Engineer Austin, TX $175000 H-1B Mar 17, 2021
Google LLC Formal Verification Engineer Sunnyvale, CA $174000 H-1B Feb 7, 2025
NVIDIA Corporation Senior Formal Verification Engineer Santa Clara, CA $160000 H-1B Aug 16, 2021
NVIDIA CORPORATION Senior Formal Verification Engineer Austin, TX $157000 Green Card Nov 13, 2019
Apple Inc. Graphics Formal Verification Engineer WEST LAKE HILLS, TX $155000 H-1B Jun 30, 2022
Untether AI U.S. Corporation Senior Formal Verification Engineer Austin, TX $152000 - $172000 H-1B Dec 10, 2024
APPLE INC. SOC FORMAL VERIFICATION ENGINEER CUPERTINO, CA $148200 - $168000 H-1B Jun 11, 2014
APPLE INC. FORMAL VERIFICATION ENGINEER CUPERTINO, CA $145000 - $165000 H-1B Mar 17, 2015
APPLE INC. SOC FORMAL VERIFICATION ENGINEER CUPERTINO, CA $140000 - $160000 H-1B Nov 7, 2014
Centaur Technology Inc. Formal Verification Engineer Austin, TX $136000 H-1B Jul 2, 2020
Centaur Technology Inc. Formal Verification Engineer Austin, TX $136000 H-1B Feb 12, 2020
GALOIS, INC. FORMAL VERIFICATION ENGINEER PORTLAND, OR $131234 H-1B Mar 26, 2018
Centaur Technology, Inc. Formal Verification Engineer Austin, TX $121000 Green Card Jun 4, 2018
CENTAUR TECHNOLOGY, INC. FORMAL VERIFICATION ENGINEER AUSTIN, TX $121000 H-1B Mar 7, 2017
GOOGLE LLC Formal Verification Engineer Mountain View, CA $120869 - $160869 Green Card Oct 21, 2019
APPLE INC. Graphics Formal Verification Engineer $115000 - $177000 Green Card Oct 25, 2023
APPLE INC. FORMAL VERIFICATION ENGINEER CUPERTINO, CA $114000 - $134000 H-1B Oct 18, 2017
APPLE INC. FORMAL VERIFICATION ENGINEER CUPERTINO, CA $110032 - $145400 H-1B Feb 7, 2014
APPLE INC. FORMAL VERIFICATION ENGINEER CUPERTINO, CA $107890 - $134000 H-1B Oct 13, 2017
APPLE INC. FORMAL VERIFICATION ENGINEER AUSTIN, TX $105934 - $125000 H-1B Jan 2, 2018
Showing 1-21 of 21 results
About This Data
Data Source

This data comes from the U.S. Department of Labor's public disclosure files for H-1B (temporary work visa) and green card (PERM labor certification) applications.

What You Can Find
  • H-1B Salaries: Wages offered to H-1B specialty occupation workers
  • Green Card Salaries: Wages offered for green card sponsorship (PERM) positions
  • Employer Information: Which companies sponsor most workers
  • Location Data: Salary differences by state and city
How to Use This Data
  • Research salaries for your role at specific companies
  • Compare offers across different locations
  • Look up the green card (PERM) wage level for a role and employer
  • Understand market rates for salary negotiations
Note: This data shows wages from official DOL filings. Actual compensation may include additional benefits, bonuses, and equity not reflected here.
Cite or link to this database

This is a free, public reference built from official U.S. Department of Labor disclosure files (10M+ H-1B and PERM records). Writers, forums, and resource lists are welcome to link to it — no permission needed.