U.S. Immigration Data

Priority dates, work visas, and labor market data

Formal Verification Computer Science Researcher

H-1B & Green Card Salary Data and Market Analysis

Only 2 filings match this exact title. For the full picture, see the broader RESEARCHER profile (2,553 filings).
View RESEARCHER →

2

Total Filings

All time (charts below use selected years)

$142,284

Median Salary

Across filings in selected period

1

Top Employers

Hiring This Role
Salary Distribution (All Employers + Top Employer Overlays)
10th Percentile

$142,284

25th Percentile

$142,284

Median (50th)

$142,284

75th Percentile

$142,284

90th Percentile

$142,284

See all H-1B/PERM filings for this role →

Chart data not available

Top Employers Hiring Formal Verification Computer Science Researcher
Employer Filings Median Salary Salary Range Approval Rate
GALOIS, INC. 2 $142,284 $142,284 - $142,284 0.0%
Geographic Distribution
Based on 2 filings in selected period (charts use selected years, not all-time total)
Loading chart...
Median Salary by State
Based on selected period (same 2 filings as above)
Loading chart...
Top Metro Areas
City State Filings Median Salary
Portland OR 1 $142,284
Shelton WA 1 $142,284
Related Roles & Career Progression

These roles are variations of Formal Verification Computer Science Researcher with different seniority levels.

Role Experience Level Filings Avg Salary
Formal Verification Computer Science Researcher Unspecified 2 $142,284
Year-over-Year Statistics
Fiscal Year Filings Median Salary Approval Rate
2022 2 $142,284 0.0%
Company Comparison - Formal Verification Computer Science Researcher

Compare how top companies pay for this role.

Company Filings Median Salary Approval Rate
GALOIS, INC. 2 $142,284 0.0%
Similar Roles
View
View
View
View
COMPUTER PROGRAMMER
102,535 filings
View
Data Source: U.S. Department of Labor (DOL) H-1B and green card (PERM) disclosure data. Data shown for fiscal years 2021 to present. Last updated: October 12, 2026

Note on Salary Data: For data quality, we exclude salaries below $30,000 (likely data entry errors) and above $1,000,000 (lacking automated validation for ultra-high compensation packages). This may affect statistics for some executive and specialized positions.