Lean Engineer - Formal Mathematics

. 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

CDD Référent Excellence F/H

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

Lugar: Nantes, Loire-Atlantique | 15/10/2026 18:10:02 PM | Salario: S/. No Especificado | Empresa: La Poste

Superviseur d'équipe de production H/F

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

Lugar: Saint-Bonnet-de-Mure, Rhône | 09/10/2026 01:10:29 AM | Salario: S/. No Especificado | Empresa: Mersen

Formal Mathematician - Fully Remote

. 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

Formal Mathematician - Fully Remote

. 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: Mercor
1