Formal Verification Scientist (lean 4 And Mathlib) in United States (1000+)
Formal Verification Scientist (lean 4 And Mathlib)Full-timeContractPart-timeInternshipOnsiteRemoteHybridIntern/New GradEntry Level
12 hours agoBe an early applicant
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
/
Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Senior LevelLess than 25 applicants
1 hour agoBe an early applicant
2026 Summer Intern: Associate QA Analyst
Spectrum
/
Telecommunications · Public
Maryland Heights, MOInternshipOnsiteIntern
Start in 2026 SpringLess than 25 applicants
No H1B
13 minutes ago
Sr Manager, Test Development
Pure Storage
/
Information Technology & Services · Public
Santa Clara, CAFull-time$193K/yr - $290K/yrOnsiteSenior Level91 applicants
Comp. & BenefitsH1B Sponsor Likely
1 hour ago
Solutions Analyst III - Automation Test Engineer
JPMorganChase
/
Financial Services · Public
Plano, TXFull-timeOnsiteMid Level
3+ years exp131 applicants
Growth OpportunitiesH1B Sponsor Likely
7 hours agoBe an early applicant
Signal Sys Testing Maintainer
DART (Dallas Area Rapid Transit)
/
Transportation/Trucking/Railroad · Late Stage
Dallas, TXFull-time$40.12/hr - $41.36/hrOnsiteEntry, Mid Level2+ years expLess than 25 applicants
H1B Sponsor Likely
32 minutes agoBe an early applicant
Senior Test Engineer
Modern Technology Solutions, Inc. (MTSI)
/
Defense & Space · Late Stage
Huntsville, ALFull-timeOnsiteSenior Level, Lead/Staff10+ years expLess than 25 applicants
Growth OpportunitiesNo H1B
10 hours agoBe an early applicant
Senior Quality Assurance Automation Engineer, IgniteTech (Remote) - $100,000/year USD
Crossover
/
Late Stage
United StatesFull-time$100K/yr - $100K/yrRemoteMid, Senior Level2+ years expLess than 25 applicants
3 hours agoBe an early applicant
Principal Software Automation/Test Engineer (Cortex Cloud)
Palo Alto Networks
/
Computer & Network Security · Public
Santa Clara, CAFull-time$147K/yr - $230K/yrOnsiteSenior Level, Lead/Staff9+ years expLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
26 minutes agoBe an early applicant
Quality Assurance Specialist – Core Lab
New York Cancer & Blood Specialists
/
Hospital & Health Care · Late Stage
Port Jefferson Station, NYFull-time$28/hr - $28/hrOnsiteEntry, Mid Level2+ years expLess than 25 applicants
H1B Sponsor Likely
13 hours agoBe an early applicant
Automated Hardware Test Engineer Engineering North Logan, UT
Artisight
/
Hospital & Health Care · Growth Stage
North Logan, UTFull-timeOnsiteMid LevelLess than 25 applicants
H1B Sponsor Likely
6 hours agoBe an early applicant
EDW QA Lead
TEKsystems
/
Information Technology & Services · Late Stage
Westerville, OHContract$45/hr - $60/hrOnsiteSenior Level5+ years expLess than 25 applicants
H1B Sponsor Likely
28 minutes ago
Senior Software Quality Engineer (SDET)
EarnIn
/
Financial Services · Growth Stage
Mountain View, CAFull-time$210K/yr - $257K/yrHybridMid, Senior Level4+ years exp27 applicants
Growth OpportunitiesH1B Sponsor Likely
27 minutes ago
QA Analyst III
Geographic Solutions, Inc.
/
Information Technology & Services · Growth Stage
Palm Harbor, FLFull-timeHybridSenior Level5+ years exp87 applicants
H1B Sponsor Likely
40 minutes ago
Senior Engineer Automation Testing
Tata Consultancy Services
/
Information Technology & Services · Public
New York, NYFull-time$110K/yr - $125K/yrOnsiteMid, Senior Level69 applicants
H1B Sponsor Likely
2 hours ago
QA Requirements Tester I
Activision Blizzard
/
Entertainment · Public
El Segundo, CAFull-time$11.42/hr - $21.20/hrOnsiteNew Grad, Entry Level179 applicants
1 hour ago
Senior Compliance Automation Engineer
Muck Rack
/
Computer Software · Growth Stage
United StatesFull-time$140K/yr - $165K/yrRemoteSenior Level5+ years exp78 applicants
Growth Opportunities
40 minutes agoBe an early applicant
Test Engineering Manager
IPTA
/
Defense & Space · Growth Stage
Kettering, OHFull-timeHybridDirector/Executive10+ years expLess than 25 applicants
Senior ManagementNo H1B
1 hour ago
Technologist, Firmware Verification Engineering
Sandisk
/
Semiconductors · Public
Milpitas, CAFull-timeOnsiteSenior Level5+ years exp37 applicants
H1B Sponsor Likely
11 hours agoBe an early applicant
Automated Test Engineer - TS/SCI
Leidos
/
Defense & Space · Public
Bethesda, MDFull-time$92K/yr - $167K/yrHybridSenior Level, Lead/Staff8+ years expLess than 25 applicants
No H1B
1 hour agoBe an early applicant
Principal Test Automation Development Engineer
Cirtec Medical
/
Medical Device · Late Stage
Brooklyn Park, MNContract$135K/yr - $170K/yrOnsiteLead/Staff10+ years expLess than 25 applicants
No H1B
