lean machine jobs in Toronto

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...

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...

About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-checkable Lean 4 formalizations, working at the very frontier of AI research and...

S&C Electric Canada is hiring a Supervisor - Assembly (Day Shift) to lead a team of machine operators and assemblers in metal enclosed switchgear assembly. You will coordinate with engineering and Supply Chain to ensure quality, safety, and on-time delivery while promoting a culture of continuous improvement. The role requires 3+ years in lean manufacturing...

Magna is seeking a mechanical engineering professional in Ontario to support design and layout improvements in automotive manufacturing. You will apply CAD, GD&T, and lean methods to deliver quality parts safely within cycle times, collaborating with customers and suppliers.The role emphasizes continuous improvement, process design, and equipment upgrades,...

Machine Shop Planner Job details General information Entity Safran is an international high-technology group operating in the fields of aerospace (propulsion, equipment and interiors), space and defense. Its mission is to contribute sustainably to a safer world, where air transport becomes ever more environmentally friendly, comfortable and accessible....

Job descriptions may display in multiple languages based on your language selection.What We Offer At Magna, you can expect an engaging and dynamic environment where you can help to develop industry-leading automotive technologies. We invest in our employees, providing them with the support and resources they need to succeed. As a member of our global team,...

This hybrid role requires working in the office two days per week. With millions of diners, 70,000+ restaurant partners and 25+ years of experience, OpenTable, part of Booking Holdings, Inc. (BKNG), is an industry leader with a passion for helping restaurants thrive. Our world-class technology empowers restaurants to focus on what matters most – their...

S'more about the team The position is part of the Growth Alliance, which has the mission to empower the HelloFresh business to convince more customers to try, recommend, or return to our products. Within Growth, the Customer Value Optimization Tribe maximizes long-term customer value by optimizing pricing, personalizing benefits, forecasting customer value...

S'more about the team The position is part of the Growth Alliance, which has the mission to empower the HelloFresh business to convince more customers to try, recommend, or return to our products. Within Growth, the Customer Value Optimization Tribe maximizes long-term customer value by optimizing pricing, personalizing benefits, forecasting customer value...

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...

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 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...

S'more about the team The position is part of the Growth Alliance, which has the mission to empower the HelloFresh business to convince more customers to try, recommend, or return to our products. Within Growth, the Customer Value Optimization Tribe maximizes long-term customer value by optimizing pricing, personalizing benefits, forecasting customer value...

S&C Electric Canada is hiring a Supervisor - Assembly (Day Shift) to lead a team of machine operators and assemblers in metal enclosed switchgear assembly. You will coordinate with engineering and Supply Chain to ensure quality, safety, and on-time delivery while promoting a culture of continuous improvement. The role requires 3+ years in lean manufacturing...

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...

Job descriptions may display in multiple languages based on your language selection. What We Offer At Magna, you can expect an engaging and dynamic environment where you can help to develop industry-leading automotive technologies. We invest in our employees, providing them with the support and resources they need to succeed. As a member of our global team,...

WHAT ON EARTH IS DECIEM? We are a collective of disrupters and doers, of creatives and scientists, with a mission to reimagine the world of beauty. WHAT ON EARTH IS DECIEM? We are a collective of disrupters and doers, of creatives and scientists, with a mission to reimagine the world of beauty. Since inception, our vertically integrated structure,...

Magna is seeking a mechanical engineering professional in Ontario to support design and layout improvements in automotive manufacturing. You will apply CAD, GD&T, and lean methods to deliver quality parts safely within cycle times, collaborating with customers and suppliers. The role emphasizes continuous improvement, process design, and equipment...

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...