Lean 4 Proof Engineer Mathematical Formalization in united states (1000+)

Feedback

United States

Company

Experience Level

Job Type

Work Model

Date Posted

All Filters

1 week 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

1 month ago
Researcher - Lean 4 & Formal Proof Systems
Alignerr
/
Computer Software · Early Stage
United States
Contract
$70/hr - $150/hr
Remote
Mid Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE

8 hours agoBe an early applicant
Senior LLMOps Engineer
ChatGPT Jobs
/
Computer Software · Early Stage
United States
Full-time
$107K/yr - $147K/yr
Remote
Senior Level, Lead/Staff
8+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE

23 hours agoBe an early applicant
HSE Specialist
Nature's Bakery
/
Health Care · Nutrition · Growth Stage
Hazelwood, Missouri, United States
Full-time
Onsite
Mid Level
3+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE

1 day agoBe an early applicant
PKI senior engineer/architect
BMW Manufacturing Co., LLC
/
Automotive · Fitness · Late Stage
Greenville-Spartanburg-Anderson, South Carolina Area
Full-time
Onsite
Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 day agoBe an early applicant
Lead Field Engineer - Automated Logic (ALC)
Carrier
/
Energy · Heating Ventilation and Air Conditioning (HVAC) · Late Stage
Canton, MA
Full-time
$81K/yr - $113K/yr
Onsite
Mid, Senior Level
4+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

2 days ago
Proof Operator
Old Fort Banking Company
/
Banking · Financial Services · Growth Stage
Old Fort,OH,US
Full-time
Onsite
Entry Level
1+ years exp
39 applicants


ASK ORION
APPLY NOW


MATCH SCORE

1 day ago
Functional Safety/Cyber Security Manager
Cognizant
/
Consulting · Industrial Automation · Public
Auburn Hills, MI
Full-time
Onsite
Senior Level
5+ years exp
28 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 day ago
CPQ Architect
Flowserve Corporation
/
Mechanical Or Industrial Engineering · Late Stage
Irving, TX
Full-time
Hybrid
Senior Level
5+ years exp
31 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 month ago
SStaff Engineer - SONiC / NOS Development
Celestica
/
Electronics · Manufacturing · Public
San Jose, CA, US
Full-time
$129K/yr - $201K/yr
Onsite
Lead/Staff
13+ years exp
86 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

6 days agoBe an early applicant
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

1 month ago
Baseline Hardening Engineer
SIDRAM TECHNOLOGIES
/
Computer Software · Growth Stage
Oakland, CA
Full-time
Onsite
Senior Level
7+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

4 months ago
Principal Research Scientist - Formal Methods & Cryptography
Two Six Technologies
/
Cyber Security · Information Technology · Late Stage
Arlington, VA
Full-time
$158K/yr - $237K/yr
Onsite
Lead/Staff
10+ years exp
53 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

2 days agoBe an early applicant
Technical SETA
ECS
/
Artificial Intelligence (AI) · Cloud Infrastructure · Late Stage
Arlington, VA
Full-time
Onsite
Mid, Senior Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

1 month ago
Senior Plan Check Engineer
County of Riverside
/
Government · Health Care · Late Stage
Riverside County, CA
Full-time
Onsite
Mid, Senior Level
2+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

2 days agoBe an early applicant
Sr. Formal Verification Engineer, AI Hardware
Tesla
/
Automotive · Electric Vehicle · Public
Austin, TX
Full-time
Onsite
Senior Level, Lead/Staff
5+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

2 weeks ago
Protocol Engineer, Proofs
OP Labs PBC
/
Developer Tools · Ethereum · Growth Stage
United States
Full-time
Remote
Mid, Senior Level
97 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 day agoBe an early applicant
CPQ Architect
Flowserve Corporation
/
Mechanical Or Industrial Engineering · Late Stage
Houston, TX
Full-time
Hybrid
Senior Level
5+ years exp
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
H1B Sponsor Likely

1 month ago
Architectural Barrier Testing Specialist
Accura Engineering and Consulting Services, Inc.
/
Asset Management · Civil Engineering · Growth Stage
Fairbanks, AK
Full-time
$70K/yr - $90K/yr
Onsite
Mid Level
Less than 25 applicants


ASK ORION
APPLY NOW


MATCH SCORE
No H1B

5 days ago
Formal Equivalence Checking Methodology Engineer
NVIDIA
/
AI Infrastructure · Artificial Intelligence (AI) · Public
US, CA, Santa Clara
Full-time
$136K/yr - $218K/yr
Hybrid
Mid Level
3+ years exp
76 applicants


ASK ORION
APPLY NOW


MATCH SCORE
Growth Opportunities
H1B Sponsor Likely