lean machine jobs in Vancouver

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

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

Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical proofs into Lean 4 — working at the exact boundary where human mathematical...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

Alignerr Corp. seeks a Mathematical Formalization Specialist to translate complex proofs into Lean and related systems, ensuring rigor, correctness, and machine verifiability. You will work with researchers to identify gaps and push the boundaries of current proof assistants.The role emphasizes formal proof construction, collaboration across domains, and...

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

Job SummaryApply metal to customer orders and accurately process material according to the work order specifications using advanced machinery or having an advanced level of skill in the use of warehouse machinery. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner....

Job Summary Apply metal to customer orders and accurately process material according to the work order specifications using advanced machinery or having an advanced level of skill in the use of warehouse machinery. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner....

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic? We're looking for expert mathematicians to translate advanced human-written proofs into machine-verifiable formalizations — working at the exact boundary of...

Humans of HR is an upcoming boutique recruitment agency in Vancouver and is very quickly becoming the go-to agency for hiring and placement of skilled corporate professionals. Combined with our vast network and extraordinary customer-centric approach, we are the obvious choice in helping you find your next home. We're recruiting on behalf of a...

Report to the Director of Operations, you'll set the direction for manufacturing engineering across NPI, production line design, and continuous improvement. Oversee daily operations related to production, partnering closely with Design, Quality, Supply Chain, and Operations to keep engineering execution aligned with business goals. This is a role for...

Job SummaryApply metal to customer orders and accurately process material according to the work order specifications using advanced machinery or having an advanced level of skill in the use of warehouse machinery. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner....

Northbeam is building the world's most advanced marketing intelligence platform, providing top eCommerce brands a unified view of their business data through powerful attribution modeling and customizable dashboards. Our technology helps customers accurately track ad spend, understand the full customer journey, and drive profitable growth. Machine learning...

Description & Requirements Who we are lululemon is an innovative performance apparel company for yoga, running, training, and other athletic pursuits. Setting the bar in technical fabrics and functional design, we create transformational products and experiences that support people in moving, growing, connecting, and being well. We owe our success to our...

Where you will have an impactScience is the team that is advancing our end-to-end autonomous driving research. The team’s mission is to accelerate our journey to AV2.0 and ensure the future success of Wayve by incubating and investing in new ideas that have the potential to become game-changing technological advances for the company.As the first Research...

Job Summary Apply metal to customer orders and accurately process material according to the work order specifications using advanced machinery or having an advanced level of skill in the use of warehouse machinery. Ensure that processing equipment is maintained in a safe and clean condition. Maintain processing area in a clean, safe and orderly manner....

Algo is a rapidly growing technology company specializing in the manufacturing and supply of audio and video communication products. Our innovative solutions are designed to make industrial communication safe, simple, and effective. We collaborate with some of the largest technology companies globally to deliver cutting-edge products to our...

Junior System Administrator Company: Novus Entertainment Inc. Location: Vancouver / Hybrid work arrangement after probationary period Employment Type: Full-Time Department: Technical Operations Reports To: Manager, Technical Operations At Novus, we reimagine how people connect. Reliable technology starts behind the scenes, with the systems, tools, and...

AI-Enabled HubSpot Automation SpecialistWe're seeking an AI-Enthusiast HubSpot Automation Specialist, a hands‐on systems thinker who connects the dots between data, automation, and enablement.You'll own how HubSpot works across the company: uncovering acquisition opportunities, optimizing lifecycle automation, and experimenting with AI to make every...

Mathematical Formalization Specialist (Lean / Formal Proof Systems)What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic? We're looking for expert mathematicians to translate advanced human-written proofs into machine-verifiable formalizations — working at the exact boundary of what modern proof...