Home / Jobs / Formal Methods Engineer

OFFICIAL H-1B DISCLOSURES

Formal Methods Engineer

Reported H-1B wages for this job title. Explore roles, wages, and case statuses using public Department of Labor records.

Insights follow the displayed search filters, including partial name matches. All loaded years.

THE BIG PICTURE

Formal Methods Engineer insights

Official U.S. DOL records

Total filings8All loaded years · FY 2016–2026

Median yearly base salary$131,8106 eligible salary records

Employer names3Distinct reported names

Typical salary range$123,417–$140,118Middle 50% of yearly wages

Filing & salary trends

How reported activity and wages changed over time

All loaded years · FY 2016–2026

FY 20251 filings$179,814 median · n=1

*FY 2026 covers Q1–Q3 through June; earlier years cover full fiscal years. Median: certified, positive yearly base wages; nominal USD.

Salary distribution

Where reported yearly base wages concentrate

All loaded years · FY 2016–2026

$125k–$150kMost common wage band

$0$125k$250k+

$25k bands · 6 certified filings with positive yearly wages. Final band includes all wages ≥$250k.

Most reported roles

Explore job mix and compare reported wages

All loaded years · FY 2016–2026

Formal Methods Engineer4

$121,222 median · n=3 eligible

Formal Methods Engineer - Cyber-Physical Systems4

$142,284 median · n=3 eligible

Top 2 by filing volume. Medians use certified, positive yearly wages. Bars start at zero.

Leading worksite cities

Where filings are concentrated

All loaded years · FY 2016–2026

Portland, OR4

$142,284 median · n=3 eligible

New York, NEW YORK2

$121,222 median · n=2 eligible

Arlington, VA1

— median · n=0 eligible

Portland, OREGON1

$130,000 median · n=1 eligible

Top 4 by filing volume. Medians use certified, positive yearly wages. Bars start at zero.

Case outcomes

Certification and withdrawal context

All loaded years · FY 2016–2026

75.0%Certified LCAs

Certified6 75.0%

Certified - Withdrawn2 25.0%

Denominator: all 8 matching filings. LCA certification is not a visa approval rate.

Leading employers

Companies with the most matching filings

All loaded years · FY 2016–2026

Galois, Inc.6

$137,952 median · n=4 eligible

Digital Asset Holdings, LLC2

$121,222 median · n=2 eligible

Top 2 by filing volume. Medians use certified, positive yearly wages. Bars start at zero.

Salary benchmarks

Reported wage percentiles, from P10 to P90

All loaded years · FY 2016–2026

$131,810Median reported annual base wage

10th percentile$121,222

25th percentile$123,417

Median (50th)$131,810

75th percentile$140,118

90th percentile$161,049

n=6 certified filings with positive yearly wages. Percentiles describe filings, not unique workers or total compensation.

Source: U.S. Department of Labor LCA disclosures · FY 2016–2026 (FY 2026 partial) · salary charts exclude non-yearly pay, non-certified cases, and missing or non-positive wages. Coverage & methodology

Salary filing history

8 matching H-1B filings

Export page CSV

Reported base wages in USD · pay period shown beside each amount · select a salary for case details

Employer	Job title	Base salary	Location	Submit date	Start date
Galois, Inc.	Formal Methods Engineer - Cyber Physical Systems	Filing details $179,814 /yr I-200-25125-937894 Reported wage: $179,814 / year Annualized: $179,814 Status: Certified Fiscal year: 2025 Decision: 2025-05-12 Employment end: 2028-09-10 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Portland, OR	05/05/2025	09/11/2025
Galois, Inc.	Formal Methods Engineer – Cyber Physical Systems	Filing details $142,284 /yr I-200-22081-000776 Reported wage: $142,284 / year Annualized: $142,284 Status: Certified Fiscal year: 2022 Decision: 2022-03-29 Employment end: 2025-09-10 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Portland, OR	03/22/2022	09/11/2022
Galois, Inc.	Formal Methods Engineer	Filing details $133,620 /yr I-200-17088-526337 Reported wage: $133,620 / year Annualized: $133,620 Status: Certified - Withdrawn Fiscal year: 2020 Decision: 2019-11-01 Employment end: 2020-09-28 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Arlington, VA	03/29/2017	09/28/2017
Digital Asset Holdings, LLC	Formal Methods Engineer	Filing details $121,222 /yr I-200-19080-047669 Reported wage: $121,222–$200,000 / year Annualized: $121,222 Status: Certified Fiscal year: 2019 Decision: 2019-03-27 Employment end: 2022-09-18 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	New York, NEW YORK	03/21/2019	09/19/2019
Galois, Inc.	Formal Methods Engineer - Cyber-Physical Systems	Filing details $130,000 /yr I-200-19067-670300 Reported wage: $130,000 / year Annualized: $130,000 Status: Certified Fiscal year: 2019 Decision: 2019-03-19 Employment end: 2022-09-10 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Portland, OREGON	03/13/2019	09/10/2019
Digital Asset Holdings, LLC	Formal Methods Engineer	Filing details $121,222 /yr I-200-19058-542185 Reported wage: $121,222–$200,000 / year Annualized: $121,222 Status: Certified Fiscal year: 2019 Decision: 2019-03-09 Employment end: 2022-08-29 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	New York, NEW YORK	03/04/2019	08/30/2019
Galois, Inc.	Formal Methods Engineer - Cyber-Physical Systems	Filing details $116,917 /yr I-200-18064-995863 Reported wage: $116,917 / year Annualized: $116,917 Status: Certified - Withdrawn Fiscal year: 2018 Decision: 2018-07-10 Employment end: 2021-09-06 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Portland, OR	03/08/2018	09/06/2018
Galois, Inc.	Formal Methods Engineer	Filing details $133,620 /yr I-200-17069-844665 Reported wage: $133,620 / year Annualized: $133,620 Status: Certified Fiscal year: 2017 Decision: 2017-03-16 Employment end: 2020-09-09 Worker positions: 1 Employer-reported disclosure · Base wage, not total compensation.	Portland, OR	03/10/2017	09/09/2017

These records describe employer-reported wages, not total compensation. A certified LCA does not establish that a visa was granted or that an employer is currently hiring. Read the methodology and coverage.