×
Register Here to Apply for Jobs or Post Jobs. X

Hybrid Arithmetic Verification Engineer; Formal Methods

Job in Austin, Travis County, Texas, 78716, USA
Listing for: Intel
Full Time position
Listed on 2026-01-02
Job specializations:
  • Engineering
    Systems Engineer, Engineering Design & Technologists
Salary/Wage Range or Industry Benchmark: 139000 - 262000 USD Yearly USD 139000.00 262000.00 YEAR
Job Description & How to Apply Below
Position: Hybrid Arithmetic Verification Engineer (Formal Methods)
A leading technology company is seeking an experienced professional for formal verification of arithmetic hardware in Austin, Texas. The role requires strong expertise in digital design and formal verification tools. With a competitive salary range of $139k–$262k, this position offers a hybrid work model and exceptional benefits. Candidates should possess a degree in Computer Engineering or related STEM field and several years of relevant experience.
#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary