. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs...
Lugar:
Paris | 07/10/2026 17:10:28 PM | Salario: S/. No Especificado | Empresa:
Mercor continue, de Lean Management, d'innovation participative et de nouvelles pratiques collaboratives. À ce titre, vous serez amené... des démarches d'amélioration continue en vous appuyant sur les méthodes Lean Management, Lean IT et PDCA. Accompagner l'évolution...
d'amélioration continue et aux projets Lean Manufacturing. Accompagner les équipes dans la mise en œuvre des actions d'amélioration...
les actions nécessaires pour éviter leur récurrence. Animer les démarches d'amélioration continue, de Lean Management.... Vous maîtrisez les outils de résolution de problèmes et les principes du Lean Manufacturing. Leadership, présence terrain, rigueur...
. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs...
Lugar:
Paris | 12/10/2026 17:10:23 PM | Salario: S/. No Especificado | Empresa:
Mercor. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs...
Lugar:
Paris | 07/10/2026 17:10:49 PM | Salario: S/. No Especificado | Empresa:
Mercor1