lean machine

Ford of Canada is seeking a Maintenance Supervisor at the Windsor Engine Plant/Essex Engine Plant to lead an hourly team, drive safety, and optimize daily operations in a high‑volume manufacturing environment. You will shape culture, ensure quality and efficiency, manage performance, and develop your team. The role requires supervisory experience and PLC...

An automotive manufacturer in Windsor, Ontario is seeking a Team Manager-Production Machining to lead production and maintenance teams. You will be responsible for meeting safety, quality, and delivery targets while fostering a culture of accountability and continuous improvement. The ideal candidate has over 5 years of manufacturing experience and strong...

Ford of Canada is seeking a Maintenance Supervisor at the Windsor Engine Plant/Essex Engine Plant to lead an hourly team, drive safety, and optimize daily operations in a high‑volume manufacturing environment. You will shape culture, ensure quality and efficiency, manage performance, and develop your team. The role requires supervisory experience and PLC...

Ford of Canada is seeking a Maintenance Supervisor at the Windsor Engine Plant/Essex Engine Plant to lead an hourly team, drive safety, and optimize daily operations in a high‑volume manufacturing environment. You will shape culture, ensure quality and efficiency, manage performance, and develop your team. The role requires supervisory experience and PLC...

Ford of Canada is seeking a Maintenance Supervisor at the Windsor Engine Plant/Essex Engine Plant to lead an hourly team, drive safety, and optimize daily operations in a high‑volume manufacturing environment. You will shape culture, ensure quality and efficiency, manage performance, and develop your team. The role requires supervisory experience and PLC...

Contribute to groundbreaking AI research by helping models write real, machine-checked mathematics in Lean. This part-time role focuses on formalizing math and reviewing proofs effectively. Cincinnatus LLC is seeking Lean engineers and formal mathematicians to work with a leading AI lab. This role involves writing Lean 4 proofs, transforming informal...

Lead Lean Manufacturing and Six Sigma transformation for a precision manufacturer serving aerospace, defense, and energy markets. Coach teams hands-on across operations. This Continuous Improvement Leader reports to the General Manager and supports organizational growth through an evolving operating system. The role develops front-line capability,...

Salary Range: CA$80,000.00 To CA$105,000.00 Annually Reports To: General Manager Direct Reports: No Direct Reports(influences through coaching and facilitation) Summary Trimaster is a high precision machine shop, targeting medium to high level of part complexity, serving the aerospace, aero, defense and energy sectors. To support Trimaster’s growth and...

Salary Range: CA$80,000.00 To CA$105,000.00 Annually Reports To: General Manager Direct Reports: No Direct Reports(influences through coaching and facilitation) Summary HPG is Precinmac’s Airfoils Center of Excellence, producing highly complex precision aerospace/defense components. To support HPG’s growth and evolving operating system, we are hiring a...

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical expertise could directly shape how AI reasons about formal proofs — pushing the frontier of what machines can understand and verify? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We’re looking for mathematicians with hands‑on Lean experience to formalize advanced mathematical arguments for cutting‑edge AI research — translating human reasoning into precise, machine‑verifiable knowledge. This is a...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for skilled mathematicians to translate rigorous human arguments into machine-verifiable Lean 4 formalizations — working at the very frontier of what proof assistants...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate rigorous human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do today. This is a fully...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal methods experts to work at the cutting edge of AI research — translating rigorous mathematical arguments into machine-verifiable Lean 4 formalizations, and helping map the frontier of...

About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the most rigorous structures in mathematics? We're looking for Applied Formal Methods Researchers to translate advanced mathematical arguments into precise, machine-verifiable Lean 4 proofs — working at the very edge of what automated...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape how the world's most advanced AI systems reason, prove, and think? We're looking for Lean 4 Proof Engineers to translate rigorous mathematical arguments into machine-verifiable formalizations — working at the very frontier of...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We’re looking for mathematicians with hands‑on Lean experience to formalize advanced mathematical arguments for cutting‑edge AI research — translating human reasoning into precise, machine‑verifiable knowledge. This is a...

About Machina LabsEngineering moves at software speed. Manufacturing doesn't. Yet.Machina Labs is changing that. We build intelligent, software-defined factories that produce complex metal structures directly from digital design. By integrating advanced metal forming, robotics, and automated production inside a flexible factory architecture, we enable...