Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
$90 - $110 per hourTemporary
Gridnaut Recruiting
Gridnaut Recruiting is hiring a remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) contractor (pay $90–$110/hr). Contribute to frontier AI research and evaluation work. Ideal candidates: Contract engagement for Lean Engineer / formal mathematics; remote-friendly independent contractor work with a leading AI lab.; Hands-on Lean 4, Mathlib, and theorem-proving experience; write and review machine-checked proofs and precise formal statements.; Clear written communication and ability to meet agreed timelines on structured evaluation tasks..
Vacancy posted 14 days ago
Similar jobs that could be interesting for youBased on the Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) in Remote vacancy
$90 - $110 per hour
...Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) is a remote review track for evaluating AI outputs across mathematics reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document...SuggestedRemote jobFor contractors10 hours per week$90 - $110 per hour
...how advanced AI systems state, prove, and evaluate machine-checked mathematics in Lean 4. You will formalize mathematical ideas, develop... ...proofs that compile with current mathlib across algebra, analysis,... ...conventions. Collaborate with Lean engineers and research teams to...SuggestedHourly payPart timeRemote workWeekday workSaidGig
United States8 days ago$90 - $110 per hour
...General Catalyst Peter Thiel Adam DAngelo Larry Summers and Jack Dorsey . Position: Lean Engineer Formal Mathematics (Lean 4 Mathlib Theorem Proving) Type: Contract Compensation: $90$110/hour Location: Remote Commitment...SuggestedFull timeContract workSummer workRemote workWeekday workMercor
San Francisco, CA14 days ago- ...Resolution make use of Lean to accelerate... ...aiming for things like formal guarantees and... ...researchers and engineers in our research divisions... ...on our general mathematics and software-... ...writing Lean and mathlib. Have expertise... ...contribution equal to 4% of salary....SuggestedFull timeRemote workRelocationVisa sponsorship
Resolution
Berkeley, CA1 day ago $160k - $275k
...and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and... ...simulator models into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those embeddings to prove functional correctness and...SuggestedDaily paidFull timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hoursShift workMatX
Mountain View, CA5 days ago$198.1k - $268k
Job Overview:The Theorem Proving Engineering role, you will analyze new data path RTL designs and underlying... ...a commercial checker (SLEC), and formally verify correctness of the models... ...:* MS or PhD in Computer Science or Mathematics.* Demonstrated strong ability for...Work at officeLocal areaRemote workARM
Austin, TX2 days ago$86.4k - $129.6k
...energized by analyzing data, digging into processes, and working with diverse teams to deliver results? We are seeking a dedicated Lean Process Engineer to join our team. In this role, you will ensure a successful transformation for Engineer to Order (ETO) plants, specifically...Full timeTemporary workImmediate startFlexible hoursSchneider Electric
Athens, TX6 days ago- Job DescriptionJob Title: Process & Continuous Improvement (LEAN) EngineerLocation: Auburn, INJob Type: On-SiteReporting to: Plant ManagerCompany... ...join us?Job SummaryThe Process & Continuous Improvement (LEAN) Engineer leads capital projects and LEAN continuous improvement...Full timeWork experience placementLocal areaHome officeVisa sponsorship
FXI
Auburn, IN6 days ago - Mercedes-Benz USA is seeking a PDC Process Improvement Engineer to enhance end-to-end material flow at the Parts Distribution Center and... ...lead cross-functional teams, design storage layouts, and drive Lean initiatives across the PDC network. Ideal candidates have 5-7 years...Home office
- ...Description Job Description Position Summary: The Manufacturing Engineer is responsible for improving manufacturing processes, reducing... ..., increasing productivity, and supporting the implementation of Lean Manufacturing principles throughout the facility. This role...Hourly payRemote work
Jing-Jin Electric North America
Farmington, MI14 days ago $124k - $153k
...from skilled trades to project managers, engineers and software developers to solution architects... .... Candidates may be certified in lean and six-sigma quality engineering methodologies... ...professional experience; Ph.D. and 4 years of experience. Newport News Shipbuilding...Full timeLocal areaRemote workRelocationShift workHuntington Ingalls Industries
Eastern, KY16 hours ago$114k - $171k
...career opportunity for a Mission Assurance Engineer 3 or 4 to define and monitor the mission... ...degree in engineering, physical science, mathematics, quality, or a related technical field;... ...and quality-management systems. Lean Six Sigma, Certified Quality Engineer,...Full timeContract workFor contractorsRemote workRelocationShift work- ...Senior Manufacturing Engineer in our Lancaster,... ..., transitioning, proving out and executing... ...manufacturing efficiency (Lean practices) to be... ...Manager. 8.4 Financial:... ...of directors. Mathematical Skills Ability... ...equations, and proofs of theorems. Reasoning Ability...Immediate startRemote work
Boyd Company
Lancaster, PA16 hours ago $100k - $145k
...Advanced Manufacturing Engineer - Machining Full-time... ...capability rather than formal authority. This is a senior... ...to 5-axis mills, 2- to 4-axis lathes, 5-axis mill... .... Knowledge of Lean Manufacturing or Six Sigma... ...technical leadership as it proves out. Interest in piloting...Permanent employmentFull timeContract workRemote workVantedge Medical
United States2 days ago$50 per hour
...ImpactLockheed Martin Aeronautics in Fort Worth, TX is seeking a Level 4 Industrial Engineer Staff to drive Enterprise excellence into our Fabrication... ...for Core Aeronautics Industrial Engineering teams.Applying Lean Manufacturing and Theory of Constraints principles to...Full timeTemporary workWork experience placementCasual workWork at officeRemote workFlexible hoursLockheed Martin
Fort Worth, TX6 days ago$90k - $144.9k
...CUB CADET, and HUSTLER.STANLEY Engineered Fastening is the global leader... ...through the implementation of Lean standard tools and concepts... ...approach.· Develop and prepare formal cost justifications for purchase... ...and systems focused on the 4 M’s - METHOD, MACHINE, MATERIAL...Full timeWork experience placementH1bWork at officeLocal areaRelocationStanley Black & Decker
Lansing, MI4 days ago- ...packages for our Team Members.Sr. Engineer - Packaging Execution (CA Based... ...Qualifications:4 Years - Experience in Packaging... ...management and prioritization skills.Lean and Six Sigma basic training.Proficiency... ...and be challenged using both formal and informal development...Full timeTemporary workPart timeWork experience placementInternshipSeasonal workLocal areaRemote workShift work
Niagara water
Diamond Bar, CA4 days ago $194k - $291k
...analytics platform, helping over 4,700 customers—including... ...About the RoleAs a Senior Sales Engineer, Enterprise at Amplitude, you'll... ...hands-on proof-of-concepts that prove value within the prospect's actual... .... Seek and act on feedback. Lean into discomfort. Customer CentricityWe...Work at officeHome officeAmplitude
Denver, CO6 days ago$200k - $240k
...AI.The RoleAs a Senior Sales Engineer at Tray.ai, you are the technical... ...one way of working: you're leaning hard into AI, you still build... ...technical role, with at least 4 years in pre-sales, solutions... ...cycles, multiple stakeholders, and formal POCs, and you have a track...Remote workShift worktray.io
New York, NY2 days ago- Engineer I, Electrical - HybridTowson, MD - United StatesThis is a hybrid... ...alongside technicians to prove out designsEffectively identify... ...innovative technology and our Industry 4.0 Initiative. We are committed... ...resources, including our Lean Academy and online university (...H1bLocal area3 days per week
Stanley Black & Decker
Towson, MD5 days ago $120k - $130k
...position. Role: Commissioning Engineer Location: Remote, home-... ...Commissioning Engineer. Team size: Lean. Roughly 40 to 45 people in the... ...converting each unit to formal acceptance. Reach independent... ...up through medium voltage (4,160V, 12,470V, 13.8kV, and a 3...For contractorsWork at officeRemote workWork from homeWorldwideDay shiftVeteran Hiring Solutions
United States1 day ago- ...Overview Title: Manufacturing Engineer III – Research & Development... ...Full-Time Work Schedule: 4/10 workweek Job Summary... ...platform may be considered. Formal GD&T training or certification.... ...inspection planning. Experience with Lean manufacturing, Six Sigma, PFMEA...Full time
Armtec Defense Technologies
Camden, AR8 days ago $70k - $110k
...Smart Manufacturing/Industry 4.0 software solutions that enhance... ...The Supplier Quality Engineer exists to ensure that components... ...Management • Issue, track, and formally close Supplier Corrective... ...portfolio that expands globally. Our Lean and Agile work environment...Relocation packageFlexible hoursINFICON
East Syracuse, NY16 hours ago$2,000 per month
...Be Doing The Senior Process Engineer is responsible for ensuring that... ...& Product Validation Lead formal engineering process reviews throughout... ...project execution Implement Lean Manufacturing, Design for... ...01(k) with company match up to 4% ~ Up to 6 weeks of paid parental...Full timeWork at officeWork from homeVisa sponsorshipWork visaReal Flame®
Union Grove, WI2 days ago- ...In your career, let’s prove what’s possible. At Lam Research, we create equipmentthat drives technological advancements in the semiconductor... ...a better world together, anything is possible. Mechanical Engineer 4 Date: Jul 16, 2026 Location: Tualatin, OR, US, 97062...Local areaRemote workFlexible hours2 days per week3 days per week1 day per week
Lam Research Salzburg GmbH
Tualatin, OR16 hours ago $62k - $85k
...standards of care. The Project Engineer II will coordinate with... ...industry experience is a plus. Lean Six Sigma Experience is a plus.... ...existing agreement is in place. A formal written agreement is required... ...you thought possible. More than 4,200 Integra employees already...Temporary workWork at officeBioDLogics LLC
Cordova, TN1 day ago$90k - $140k
...most departments operate on a 4-day, 10-hour work schedule in... ...first!JOB SUMMARY: The SMT Process Engineer serves as the technical lead... ...Corrective Action (RCCA), CAPA, SPC, Lean Manufacturing, and continuous... ...is (a) in response to a formal complaint or charge, (b) in furtherance...Full timeFor contractorsRemote workWeekend workAPITech
Delmar, DE4 days ago- ...Role : Systems Engineer 4 - 46978-1 Location : Chillicothe, Il, Building A Duration : 24+ months Position's Contributions to... ...This assignment is 100% in the office - Occasional travel to Proving Grounds is needed. PPE will be provided when onsite at proving...Work at officeRemote work
Kasmo Global
Seattle, WA16 hours ago $104k - $231k
...Products Group, we are dedicated to excellence in the design and engineering of Lam’s etch and deposition products. We drive innovation to... ...and verbal, in English.Preferred qualificationsFamiliarity with lean manufacturing methodologies as they apply to Low volume/high...Work at officeLocal areaRemote workFlexible hours2 days per week3 days per week1 day per weekLam Research Corporation
Fremont, CA5 days ago$134.3k - $231.7k
Sr Director, Systems Engineering & Processes - Hybrid3 Days in Towson, Hybrid... ...by defining how programs prove a design meets its requirements... ...technology and our Industry 4.0 Initiative. We are committed... ...learning resources, including our Lean Academy and online university...Full timeLocal areaShift workStanley Black & Decker
Towson, MD5 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving). Be the first to apply!
