The salary trajectory of a Formal Verification Engineer ranges between locations and employers. The salary starts at $87,373 per year (estimate) and goes up to $219,224 per year (estimate) for the highest level of seniority.
The estimated average salary for a Formal Verification Engineer at Centaur Technology is $105,204 per year or $51 per hour, but some professionals have reported earning up to roughly $181,862 per year (90th percentile). The typical pay range is between $79,356 (25th percentile) and $140,855 (75th percentile) annually. This is based on 2 salaries submitted by Centaur Technology Formal Verification Engineer professionals on Glassdoor, as of Jul 2026.
Formal Verification Engineer professionals typically earn between $38 and $68 per hour.
Formal Verification Engineer professionals typically earn between $6,613 and $11,738 monthly.