lean machine jobs in Montreal

Become a Machine Operator with Thyssenkrupp, ensuring precise metal processing and equipment maintenance. This role emphasizes safety, accuracy, and operational efficiency in a clean environment. As a Machine Operator I, you will apply metal to customer orders and process materials according to specifications. Key responsibilities include operating material...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. This is a...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. About The...

Job Summary Apply metal to customer orders and accurately process material according to the work order specifications. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner. Complete all required information entry accurately. Perform any other tasks as assigned. Appliquer le...

WHAT MAKES US EPIC?At the core of Epic’s success are talented, passionate people. Epic prides itself on creating a collaborative, welcoming, and creative environment. Whether it’s building award-winning games or crafting engine technology that enables others to make visually stunning interactive experiences, we’re always innovating.Being Epic means...

 About UsEFESO Management Consultants is a global leader in operations strategy and performance improvement. We work closely with clients across a broad range of industries to deliver measurable results tailored to their unique needs. Our end-to-end services integrate industrial AI, digital solutions, sustainability, people development, transactions and...

[ Quora is a privately held, \"remote-first\" company. This position can be performed remotely from multiple countries around the world. Please visit careers.quora.com/eligible-countries for details regarding employment eligibility by country.]About Quora:Quora’s mission is to grow the world's collective intelligence. To do so, we have two platforms:Quora:...

About Us EFESO Management Consultants is a global leader in operations strategy and performance improvement. We work closely with clients across a broad range of industries to deliver measurable results tailored to their unique needs. Our end-to-end services integrate industrial AI, digital solutions, sustainability, people development, transactions and...

WHAT MAKES US EPIC?At the core of Epic’s success are talented, passionate people. Epic prides itself on creating a collaborative, welcoming, and creative environment. Whether it’s building award-winning games or crafting engine technology that enables others to make visually stunning interactive experiences, we’re always innovating.Being Epic means...

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

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

Lean 4 Proof Engineer — Mathematical Formalization 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 what proof...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. About The...

Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean proofs, pushing the boundaries of proof automation. This is a fully remote, hourly contract for mathematicians who live and breathe rigorous proof construction and want flexible weekly hours between 10 and 40. You'll translate...

Job SummaryApply metal to customer orders and accurately process material according to the work order specifications. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner. Complete all required information entry accurately. Perform any other tasks as assigned.Appliquer le...

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

Lead process engineering at Canada Post in Montréal, applying Lean Six Sigma and change management to improve national operations. This permanent, full-time position requires bilingual communication.The Manager, Process Engineering leads process analysts and engineers while developing improvement plans for key processes and work centers. You will...

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

The CI Manager will lead Continuous Improvement (CI) efforts at the GATX railcar repair facility in Moose Jaw (2200 Caribou Street West). This role will serve as a site CI champion and play a key role.CA$60,000.00 yearlyFull-timePosition PurposeThe CI Manager will lead Continuous Improvement (CI) efforts at the GATX railcar repair facility in Moose Jaw (2200...