Jobs for lean machine at Vancouver

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

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

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

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

- Deliver advisory engagements including automation assessments, automation roadmaps, productivity improvement plans, equipment investment business cases, and third-party plan reviews - Lead projects from initiation to completion, managing scope, budget, timelines, quality standards, and client expectations - Provide technical expertise and thought...

About Lululemonlululemon 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 innovative product,...

About the  Role:The Sama R&D team is focused on delivering integrated solutions solving the most complex ML problems for our customers. We use advanced practices to build scalable, secure, and efficient solutions covering multiple aspects of ML and AI, from data ingestion to annotation and building and operating ML models. As an Applied ML Scientist, you...

Allstar Magnetics, a leading distributor and value-add manufacturer of industrial magnetic products, is seeking a CNC Mill Programmer/Operator and Process Technician to help execute work orders. Must be able to process jobs from SolidWorks and MasterCam data to milling machine and be extremely fluent at machine programming on Haas vertical CNC...

Join us on the journey to help build the world using applied robotics and AI! Novarc Technologies is a full-stack robotics company helping to build the world using applied robotics and AI. Recognized as one of the fastest-growing companies in the Americas by the Financial Times for two consecutive years, we are at the epicenter of innovation and global...

Salary Range: $180,000.00 To $200,000.00 Annually Join us on the journey to help build the world using applied robotics and AI! Novarc Technologies is a full-stack robotics company helping to build the world using applied robotics and AI. Recognized as one of the fastest-growing companies in the Americas by the Financial Times for two consecutive years, we...

Deliver advisory engagements including automation assessments, automation roadmaps, productivity improvement plans, equipment investment business cases, and third-party plan reviews Lead projects from initiation to completion, managing scope, budget, timelines, quality standards, and client expectations Provide technical expertise and thought leadership...

About Us Founded in 2017, Wayve is the leading developer of Embodied AI technology. Our advanced AI software and foundation models enable vehicles to perceive, understand, and navigate any complex environment, enhancing the usability and safety of automated driving systems. Our vision is to create autonomy that propels the world forward. Our intelligent,...

About Life360Life360’s mission is to keep people close to the ones they love. Our category-leading mobile app,Tile tracking devices, and Pet GPS tracker empower members to protect the people, pets, and things they care about most with a range of services, including location sharing, safe driver reports, and crash detection with emergency dispatch. Life360...

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

Be at the forefront of robotics innovation as a Software Engineering Manager at Novarc Technologies. Oversee the creation of software for groundbreaking robotic welding solutions. As the Software Engineering Manager, you will lead a dedicated team of software engineers in developing sophisticated embedded systems for industrial machines. This position is...

About The RoleHTS Assist is Hopper's agentic AI assistant for travel, resolving flight changes, cancellations, refunds, and bookings over chat and voice for some of the world's largest travel brands. We're looking for a senior full stack engineer to anchor this product, owning the realtime and voice layer end to end while building across React/TypeScript...

Where you will have an impact Science 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...

At Wayve we're committed to creating a diverse, fair and respectful culture that is inclusive of everyone based on their unique skills and perspectives, and regardless of sex, race, religion or belief, ethnic or national origin, disability, age, citizenship, marital, domestic or civil partnership status, sexual orientation, gender identity, veteran status,...

About UsSophos is a cybersecurity leader defending 600,000 organizations globally with an AI-driven platform and expert-led services. Sophos meets organizations wherever they are in their security maturity and grows with them to defeat cyberattacks. Its solutions combine machine learning, automation, and real-time threat intelligence with frontline human...

About Us Founded in 2017, Wayve is the leading developer of Embodied AI technology. Our advanced AI software and foundation models enable vehicles to perceive, understand, and navigate any complex environment, enhancing the usability and safety of automated driving systems. Our vision is to create autonomy that propels the world forward. Our intelligent,...