Formal Verification Scientist (lean 4 And Mathlib) in united states (1000+)
5 hours agoBe an early applicant
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
/
Computer Software · Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Senior LevelLess than 25 applicants
12 minutes ago
Sr. Software Quality Engineer IAC23174
Orion Innovation
/
Big Data · Cloud Computing · Late Stage
Edison, NJFull-timeOnsiteMid, Senior Level
1+ years exp200+ applicants
H1B Sponsor Likely
46 minutes ago
Sr. Engineer, CPU Software Test Engineer (Server)
Qualcomm
/
Artificial Intelligence (AI) · Generative AI · Public
Santa Clara, CAFull-time$129K/yr - $194K/yrOnsiteSenior Level, Lead/Staff8+ years exp184 applicants
Comp. & BenefitsH1B Sponsor Likely
1 hour agoBe an early applicant
CNO Automated Test Engineer (Active TS/SCI with Poly/NEW HIRE SIGN-ON BONUS UP TO $30,000) (Open))
General Dynamics Information Technology
/
Artificial Intelligence (AI) · Cloud Computing · Late Stage
Hanover, MDFull-time$183K/yr - $247K/yrOnsiteSenior Level, Lead/Staff15+ years expLess than 25 applicants
No H1B
11 hours ago
Low Level Software Verification Engineer - Integrated Vehicle Health Monitoring
Real Time Consulting LLC (RTC)
/
Aerospace · Embedded Software · Growth Stage
Grand Rapids, MIFull-timeHybridSenior Level5+ years exp71 applicants
Growth OpportunitiesNo H1B
23 hours agoBe an early applicant
Sr. Formal Verification Engineer, Annapurna Labs
Amazon Web Services (AWS)
/
Agentic AI · Consulting · Late Stage
Cupertino, CAFull-time$143K/yr - $248K/yrOnsiteSenior Level7+ years expLess than 25 applicants
H1B Sponsor Likely
22 hours ago
Senior Formal Verification Engineer
NVIDIA
/
AI Infrastructure · Artificial Intelligence (AI) · Public
Santa Clara, CAFull-time$168K/yr - $310K/yrOnsiteSenior Level7+ years exp32 applicants
Growth OpportunitiesH1B Sponsor Likely
15 hours ago
Test Architect – General
UST
/
Consulting · Information Services · Late Stage
Aliso Viejo, CAFull-time$109K/yr - $188K/yrHybridMid, Senior Level2+ years exp80 applicants
H1B Sponsor Likely
2 days ago
Independent Verification & Validation Intern Summer 2026
Westinghouse Electric Company
/
Electrical Distribution · Energy · Late Stage
Warrendale, PAInternship$22.69/hr - $27.50/hrHybridIntern
Start in 2026 Summer52 applicants
H1B Sponsor Likely
1 day ago
Hardware Test Engineer (Java + Embedded Systems)
E-Space
/
Information Services · Satellite Communication · Growth Stage
Saratoga, CAFull-time$100K/yr - $200K/yrOnsiteMid, Senior Level119 applicants
Growth OpportunitiesNo H1B
1 month ago
Sr. Formal Verification Engineer, AI Hardware
Tesla
/
Automotive · Electric Vehicle · Public
Palo Alto, CAFull-time$120K/yr - $264K/yrOnsiteSenior Level, Lead/Staff5+ years expLess than 25 applicants
H1B Sponsor Likely
2 months ago
Sr. Formal Verification Engineer, Annapurna Labs
Amazon
/
Artificial Intelligence (AI) · Delivery · Public
Cupertino, California, USAFull-time$143K/yr - $248K/yrOnsiteSenior Level7+ years exp26 applicants
H1B Sponsor Likely
2 days ago
Test Architect
Kforce Inc
/
Consulting · Employment · Public
Englewood, COContract$70/hr - $80/hrOnsiteSenior Level161 applicants
H1B Sponsor Likely
2 months ago
Software Verification Engineer - Aircraft Surveillance Systems
RT Consulting
/
Cyber Security · Finance · Early Stage
Phoenix, AZContract$60/hr - $68/hrOnsiteSenior Level5+ years exp60 applicants
Growth OpportunitiesNo H1B
4 months ago
Verification Engineer | Airborne Hardware - Raleigh
BETA TECHNOLOGIES
/
Aerospace · Air Transportation · Public
Raleigh, NCFull-time$85K/yr - $110K/yrOnsiteEntry, Mid Level2+ years exp86 applicants
Diversity & InclusionH1B Sponsor Likely
1 week ago
Secondary Containment Proof Tester
NOV
/
Manufacturing · Late Stage
Little Rock, ARFull-timeOnsiteEntry Level3+ years expLess than 25 applicants
H1B Sponsor Likely
4 months ago
Formal Verification Engineer
Formal
/
Computer Software · Early Stage
United StatesFull-time$120K/yr - $200K/yrRemoteSenior LevelLess than 25 applicants
2 months ago
Formal Verification Engineer
ACL Digital
/
Business Intelligence · Cloud Computing · Late Stage
San Jose, CAContractOnsiteMid Level3+ years exp112 applicants
H1B Sponsor Likely
2 months ago
Formal Verification Engineer
Voltai
/
Computer Software · Early Stage
Palo Alto OfficeFull-timeOnsiteSenior Level5+ years exp65 applicants
H1B Sponsor Likely
1 week ago
Formal Verification Engineer
Apple
/
Apps · Artificial Intelligence (AI) · Public
Austin, TXFull-time$181K/yr - $318K/yrHybridMid, Senior LevelLess than 25 applicants
Comp. & BenefitsH1B Sponsor Likely