lean

Company DescriptionWhen you work for John Crane, you join a community driven by pioneering spirit and a legacy of innovation. Our engineered solutions drive reliability, uptime and energy efficiency, empowering the world’s largest energy service providers to achieve sustainability goals that shape the future of our world. If you’re ready to accelerate...

About The Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the exact boundary where human mathematical intuition meets machine-verifiable logic. 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 about formal logic and proof? We're looking for Lean 4 Proof Engineers to translate complex, human-written mathematical arguments into precise, machine-verifiable formalizations —...

Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your deep mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Lean 4 Proof Engineers to translate advanced mathematical arguments into machine-verifiable formalizations — working at the absolute frontier...

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 mathematics into machine-verifiable Lean 4 proofs — working at the intersection of rigorous mathematics and cutting-edge AI research. This is a fully remote,...

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 proof? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations —...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn? 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 reasons about truth, proof, and knowledge? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean proofs — working at the very frontier of what proof assistants can express, capture, and automate. This is a...

About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the most complex ideas in human knowledge? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — helping map the frontier of what machines can verify, and building the foundation for the...

Job Title - Lean Telco StrategyManager & Senior Manager | S&C GN - Non NetworkManagement LevelLevel 07 to 06LocationBangalore / Gurgaon / PuneEntityS&C GN - Non-NetworkJob SummaryAs a Lean Telco Manager / Senior Manager, you will lead the reinvention of telco operating models for global Communications & Media clients, helping them move from high-CAPEX/OPEX,...

Analyst & Consultant | S&C GN - Non-NetworkManagement LevelLevel 11 to 09LocationBangalore / Gurgaon / PuneEntityS&C GN - Non NetworkJob SummaryAs a Lean Telco Analyst / Consultant, you will help Communications & Media clients design and execute large-scale business and operating model transformations across the offerings of Lean Telco strategy and roadmap,...

Job Description SummaryCoach, drive and lead lean behaviors, principles, and tools by partnering with Operating Leaders in business management roles (e.g. GM of Business Unit, or Executive Lead of a Function). Drive cultural transformation resulting in step-change in operational business metrics. May also be roles that are part of Corporate Operational...

About the team The App Components Team is a forward-thinking, platform-focused product engineering team dedicated to crafting the cohesive, high-performing building blocks that define Rippling’s "Enterprise Studio" experience.About the Role As a Software Engineer I (Backend / Full Stack) on this team you will be responsible to build and scale the systems...

Purpose of the Role Managing and leading a cross-functional team of engineers and production specialists to design, deploy, and sustain a world-class Production System (PS) grounded in Lean Manufacturing principles. The role is pivotal in driving cultural and operational transformation across the cell manufacturing plant by embedding lean tools,...

JOB TITLE DGM – Lean Manufacturing Implementation JOB ROLE Responsible for Lean Manufacturing Implementation & Production System Development GRADE/LEVEL (Choose 1) Apprentice / FTC / L6-3/ L6-2 / L6-1 / L5 / L4 FUNCTION / DEPARTMENT Manufacturing SUB-FUNCTION Production System / Lean REPORTING TO GM – Manufacturing / VP – Operations JOB LOCATION Cell...

Job Title - Lean Telco Strategy Manager & Senior Manager | S&C GN - Non Network Management Level Level 07 to 06 Location Bangalore / Gurgaon / Pune Entity S&C GN - Non-Network Job Summary As a Lean Telco Manager / Senior Manager, you will lead the reinvention of telco operating models for global Communications & Media clients, helping them move from...

Analyst & Consultant | S&C GN - Non-Network Management Level Level 11 to 09 Location Bangalore / Gurgaon / Pune Entity S&C GN - Non Network Job Summary As a Lean Telco Analyst / Consultant, you will help Communications & Media clients design and execute large-scale business and operating model transformations across the offerings of Lean Telco...

Job Description SummaryAs a Lean & Continuous Improvement Specialist you will be a vital support resource, playing an integral role in supporting Regional Lean Leader in driving our business operating mechanism and Lean transformation. Effectively coordinate and align with senior leadership of the organization to ensure effectiveness of Obeya environment and...

Lead - Lean Digital TransformationReady to turn bold ideas into real-world impact? At Genpact, we don’t just adapt to change, we lead it. AI and digital innovation are transforming the way businesses work, and we’re at the forefront of it. Genpact’s AI Gigafactory, our industry-first accelerator, exemplifies how we scale advanced technology solutions...

Lean Manager – Transformation Office We are building a Transformation Office to change how our factories run. Not through posters or one-off 6S drives, but through a shop-floor operating system that our own leaders can run and sustain. We are looking for a Lean Manager who spends more time on the shop floor than in a meeting room. THE ROLE - Reports to:...