Formal Verification Scientist (lean 4 And Mathlib) in united states (1000+)
1 week ago
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
/
Computer Software · Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Senior LevelLess than 25 applicants
5 hours agoBe an early applicant
Senior Formal Verification Engineer
Stellent IT
/
Consulting · Information Technology · Growth Stage
Austin, TXFull-timeOnsiteSenior LevelLess than 25 applicants
No H1B
3 hours agoBe an early applicant
Hardware Validation Engineer - Python automation
Jobs via Dice
/
Computer Software · Early Stage
Bellevue, WAFull-timeOnsiteSenior Level
5+ years expLess than 25 applicants
2 hours agoBe an early applicant
Lead Test Engineering Architect
CACI International Inc
/
Information Technology · Service Industry · Public
Chantilly, VAFull-time$90K/yr - $190K/yrOnsiteSenior Level, Lead/Staff7+ years expLess than 25 applicants
Comp. & BenefitsNo H1B
8 hours ago
Software Verification Engineer (Teradyne, Agoura Hills)
Teradyne
/
Consumer Electronics · Industrial · Public
Agoura Hills, CAFull-time$80K/yr - $128K/yrOnsiteEntry, Mid Level2+ years exp144 applicants
No H1B
7 hours agoBe an early applicant
QA Engineer – Calypso - Phoenix, AZ / Providence, RH (Hybrid)
Lorven Technologies Inc.
/
Information Technology · Software · Late Stage
Providence, RIContractHybridSenior Level, Lead/Staff10+ years expLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
5 hours ago
Digital Verification Engineering Intern
Impinj
/
Internet of Things · RFID · Public
Seattle, WAInternship$26/hr - $40/hrHybridIntern1+ years exp28 applicants
Comp. & BenefitsH1B Sponsor Likely
9 hours ago
POS Tester
Tata Consultancy Services
/
Business Information Systems · Consulting · Public
Jacksonville, FLFull-time$90K/yr - $130K/yrOnsiteSenior Level, Lead/Staff34 applicants
H1B Sponsor Likely
20 hours agoBe an early applicant
Senior Formal Verification Engineer
NVIDIA
/
AI Infrastructure · Artificial Intelligence (AI) · Public
United StatesFull-time$196K/yr - $310K/yrRemoteSenior Level, Lead/Staff12+ years expLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
9 hours agoBe an early applicant
Sr. Staff CPU Software Test Engineer
Qualcomm
/
Artificial Intelligence (AI) · Generative AI · Public
San Diego, CAFull-time$181K/yr - $271K/yrOnsiteSenior Level, Lead/Staff5+ years expLess than 25 applicants
Comp. & BenefitsH1B Sponsor Likely
5 hours ago
Lead Test Engineering Architect
CACI International Inc
/
Information Technology · Service Industry · Public
US VA FairfaxFull-time$90K/yr - $190K/yrOnsiteSenior Level, Lead/Staff7+ years exp58 applicants
Comp. & BenefitsNo H1B
16 hours ago
Senior Verification Engineer
Microsoft
/
Agentic AI · Application Performance Management · Public
Raleigh, NCFull-time$120K/yr - $235K/yrHybridMid, Senior Level5+ years exp37 applicants
Growth OpportunitiesH1B Sponsor Likely
17 hours ago
Test Automation Engineer – AI Network & Observability Platform
Selector
/
Analytics · Artificial Intelligence (AI) · Growth Stage
United StatesFull-timeRemoteSenior Level, Lead/Staff5+ years exp91 applicants
H1B Sponsor Likely20 hours agoBe an early applicant
Senior Formal Verification Engineer
NVIDIA
/
AI Infrastructure · Artificial Intelligence (AI) · Public
United StatesFull-time$136K/yr - $218K/yrRemoteSenior Level5+ years expLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
15 hours agoBe an early applicant
Software Test Engineer II — Medical Device (Hybrid — Waltham, Massachusetts) Contract
Pharmavise Corporation
/
Food and Beverage · Health Care · Early Stage
Waltham, MAContractHybridMid Level3+ years expLess than 25 applicants
21 hours agoBe an early applicant
Independent Verification & Validation Engineer - Software Mission Assurance Personnel
Aviation & Missile Solutions
/
Aerospace · Machinery Manufacturing · Growth Stage
Huntsville, ALFull-timeOnsiteEntry Level2+ years expLess than 25 applicants
No H1B
1 day agoBe an early applicant
Quality Notification Engineer
Cyient
/
Analytics · Database · Public
Greater ClevelandFull-timeOnsiteEntry Level1+ years expLess than 25 applicants
H1B Sponsor Likely
21 hours agoBe an early applicant
QA Test Lead - Leader in Transitioning To Clean Energy
WIT Recruiting
/
Staffing & Recruiting · Early Stage
Columbus, OHFull-timeOnsiteSenior Level5+ years expLess than 25 applicants
20 hours agoBe an early applicant
Software Verification Engineer
Safe Flight Instrument, LLC
/
Aerospace · Manufacturing · Growth Stage
White Plains, NYFull-time$68K/yr - $92K/yrOnsiteEntry Level1+ years expLess than 25 applicants
1 day ago
RPA Uipath Test Engineer / Architect - 100% Remote - (Uipath knowledge Mandatory)
KTek Resourcing
/
Health Care · Human Resources · Growth Stage
United StatesContractRemoteSenior Level200+ applicants
H1B Sponsor Likely