Lean 4 Proof Engineer Mathematical Formalization in united states (1000+)
1 week ago
Lean 4 Proof Engineer - Mathematical Formalization
Alignerr
/
Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Mid, Senior LevelLess than 25 applicants
1 week ago
Researcher - Lean 4 & Formal Proof Systems
Alignerr
/
Early Stage
United StatesContract$70/hr - $150/hrRemoteMid LevelLess than 25 applicants
35 minutes ago
Group 5-99 | SRP Intern | Supercomputing Center | Summer 2026
MIT Lincoln Laboratory
/
Defense & Space · Late Stage
Lexington, MAInternship$24.50/hr - $43/hrOnsiteIntern
Start in 2026 Summer27 applicants
Growth OpportunitiesNo H1B
3 hours ago
Senior Agent Engineer
Hippocratic AI
/
Hospital & Health Care · Growth Stage
Palo Alto, CAFull-timeOnsiteSenior Level
5+ years exp179 applicants
Growth OpportunitiesH1B Sponsor Likely
1 day agoBe an early applicant
Sr. Technical Lead – CPQ
Rolls-Royce Power Systems AG
/
Machinery · Public
Mankato, MNFull-time$91K/yr - $136K/yrOnsiteSenior Level, Lead/Staff5+ years expLess than 25 applicants
No H1B
1 day agoBe an early applicant
Protective Design Engineer
Control Risks
/
Management Consulting · Late Stage
Fremont, CAFull-time$100K/yr - $105K/yrOnsiteMid, Senior Level3+ years expLess than 25 applicants
H1B Sponsor Likely
1 week ago
SStaff Engineer - SONiC / NOS Development
Celestica
/
Consumer Goods · Public
San Jose, CAFull-time$129K/yr - $201K/yrOnsiteLead/Staff13+ years exp165 applicants
No H1B
1 month ago
Baseline Hardening Engineer
SIDRAM TECHNOLOGIES
/
Growth Stage
Oakland, CAFull-timeOnsiteSenior Level7+ years expLess than 25 applicants
H1B Sponsor Likely
3 months ago
Principal Research Scientist - Formal Methods & Cryptography
Two Six Technologies
/
Computer Software · Late Stage
Arlington, VAFull-time$158K/yr - $237K/yrOnsiteLead/Staff10+ years exp53 applicants
No H1B
3 weeks ago
Senior Plan Check Engineer
County of Riverside
/
Government Administration · Late Stage
Riverside County, CAFull-timeOnsiteMid, Senior Level2+ years expLess than 25 applicants
No H1B
3 weeks ago
Bluetooth Mesh Test Engineer
BubblyNet
/
Consumer Electronics · Early Stage
Clearwater, FLFull-timeOnsiteEntry, Mid LevelLess than 25 applicants
2 weeks ago
Protocol Engineer, Proofs
OP Labs PBC
/
Growth Stage
United StatesFull-timeRemoteMid, Senior Level78 applicants
H1B Sponsor Likely
2 days agoBe an early applicant
Functional Safety/Cyber Security Manager
Cognizant
/
Information Technology & Services · Public
Auburn Hills, MIFull-timeOnsiteSenior Level5+ years expLess than 25 applicants
H1B Sponsor Likely
2 days agoBe an early applicant
CPQ Architect
Flowserve Corporation
/
Late Stage
Irving, TXFull-timeOnsiteSenior Level5+ years expLess than 25 applicants
H1B Sponsor Likely
1 month ago
Architectural Barrier Testing Specialist
Accura Engineering and Consulting Services, Inc.
/
Civil Engineering · Growth Stage
Fairbanks, AKFull-time$70K/yr - $90K/yrOnsiteMid LevelLess than 25 applicants
No H1B
6 days agoBe an early applicant
Licensing Engineer (Senior to Principal)
Indiana Michigan Power
/
Utilities · Late Stage
Bridgman, MIFull-time$98K/yr - $150K/yrOnsiteSenior Level, Lead/Staff6+ years expLess than 25 applicants
H1B Sponsor Likely
1 month ago
Licensing Engineer (Senior to Principal)
American Electric Power
/
Utilities · Public
Bridgman, MIFull-time$99K/yr - $151K/yrOnsiteSenior Level, Lead/Staff6+ years exp56 applicants
H1B Sponsor Likely
2 days ago
Manager/Sr. Manager - Production Mech Test Engineering
Blue Origin
/
Aviation & Aerospace · Late Stage
Merritt Island, FLFull-timeOnsiteSenior Level5+ years exp28 applicants
No H1B
1 month ago
Arithmetic Formal Verification Engineer
Intel Corporation
/
Late Stage
US, Oregon, HillsboroFull-time$140K/yr - $263K/yrHybridMid, Senior Level4+ years expLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
1 week ago
PPAP Quality Engineer
TekPro
/
Early Stage
Rochester, New York Metropolitan AreaFull-time$38/hr - $45/hrOnsiteMid Level3+ years exp52 applicants
