Formal Verification Scientist (lean 4 And Mathlib) in united states (1000+)

Feedback

United States

Company

Experience Level

Job Type

Work Model

Date Posted

All Filters

21 minutes agoBe an early applicant
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
/
Computer Software · Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE

3 minutes agoBe an early applicant
Lean 4 Proof Engineer - Mathematical Formalization
Alignerr
/
Computer Software · Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE

6 hours ago
Low Level Software Verification Engineer - Integrated Vehicle Health Monitoring
Real Time Consulting LLC (RTC)
/
Aerospace · Embedded Software · Growth Stage
Grand Rapids, MI
Full-time
Hybrid
Senior Level
5+ years exp
71 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
No H1B

17 hours agoBe an early applicant
Sr. Formal Verification Engineer, Annapurna Labs
Amazon Web Services (AWS)
/
Agentic AI · Consulting · Late Stage
Cupertino, CA
Full-time
$143K/yr - $248K/yr
Onsite
Senior Level
7+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

16 hours ago
Senior Formal Verification Engineer
NVIDIA
/
AI Infrastructure · Artificial Intelligence (AI) · Public
Santa Clara, CA
Full-time
$168K/yr - $310K/yr
Onsite
Senior Level
7+ years exp
32 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
H1B Sponsor Likely

9 hours ago
Test Architect – General
UST
/
Consulting · Information Services · Late Stage
Aliso Viejo, CA
Full-time
$109K/yr - $188K/yr
Hybrid
Mid, Senior Level
2+ years exp
78 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 day ago
Independent Verification & Validation Intern Summer 2026
Westinghouse Electric Company
/
Electrical Distribution · Energy · Late Stage
Warrendale, PA
Internship
$22.69/hr - $27.50/hr
Hybrid
Intern
Start in 2026 Summer
52 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 day ago
Senior Software Instrument Verification and Validation Engineer (Lead)
QuidelOrtho
/
Medical Device · Late Stage
Rochester, NY
Full-time
$95K/yr - $110K/yr
Onsite
Senior Level, Lead/Staff
5+ years exp
28 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

1 day ago
Hardware Test Engineer (Java + Embedded Systems)
E-Space
/
Information Services · Satellite Communication · Growth Stage
Saratoga, CA
Full-time
$100K/yr - $200K/yr
Onsite
Mid, Senior Level
119 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
No H1B

2 days agoBe an early applicant
Tosca Test Lead
JPS Tech Solutions
/
Information Technology · IT Infrastructure · Growth Stage
United States
Full-time
Remote
Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

1 month ago
Sr. Formal Verification Engineer, AI Hardware
Tesla
/
Automotive · Electric Vehicle · Public
Palo Alto, CA
Full-time
$120K/yr - $264K/yr
Onsite
Senior Level, Lead/Staff
5+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

2 months ago
Sr. Formal Verification Engineer, Annapurna Labs
Amazon
/
Artificial Intelligence (AI) · Delivery · Public
Cupertino, California, USA
Full-time
$143K/yr - $248K/yr
Onsite
Senior Level
7+ years exp
26 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

2 days ago
Formal Verification Engineer, University Graduate, BS/MS
Google
/
Apps · Artificial Intelligence (AI) · Public
Sunnyvale, CA, USA
Full-time
$113K/yr - $161K/yr
Onsite
New Grad, Entry Level
32 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
H1B Sponsor Likely

2 months ago
Software Verification Engineer - Aircraft Surveillance Systems
RT Consulting
/
Cyber Security · Finance · Early Stage
Phoenix, AZ
Contract
$60/hr - $68/hr
Onsite
Senior Level
5+ years exp
60 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
No H1B

4 months ago
Verification Engineer | Airborne Hardware - Raleigh
BETA TECHNOLOGIES
/
Aerospace · Air Transportation · Public
Raleigh, NC
Full-time
$85K/yr - $110K/yr
Onsite
Entry, Mid Level
2+ years exp
86 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Diversity & Inclusion
H1B Sponsor Likely

1 week ago
Secondary Containment Proof Tester
NOV
/
Manufacturing · Late Stage
Little Rock, AR
Full-time
Onsite
Entry Level
3+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

2 days ago
Remote Senior QA Test Engineer – Care Management/Utilization Management or PBM
Infinite Computer Solutions
/
Artificial Intelligence (AI) · Blockchain · Public
United States
Full-time
Remote
Senior Level
7+ years exp
186 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 month ago
Senior Staff Formal Verification Engineer
Qualcomm
/
Artificial Intelligence (AI) · Generative AI · Public
San Diego, CA
Full-time
$195K/yr - $293K/yr
Onsite
Senior Level, Lead/Staff
4+ years exp
196 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Comp. & Benefits
H1B Sponsor Likely

1 week ago
Formal Verification Engineer
Apple
/
Apps · Artificial Intelligence (AI) · Public
Austin, TX
Full-time
$181K/yr - $318K/yr
Hybrid
Mid, Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Comp. & Benefits
H1B Sponsor Likely

6 days ago
Formal Verification Engineer
AMD
/
AI Infrastructure · Artificial Intelligence (AI) · Public
Austin, TX
Full-time
$119K/yr - $178K/yr
Hybrid
New Grad, Entry Level
133 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
No H1B