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 | 26/10/2026 18:10:02 PM | Salario: S/. No Especificado | Empresa: Mercor

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 | 22/10/2026 17:10:00 PM | Salario: S/. No Especificado | Empresa: Mercor

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:55 PM | Salario: S/. No Especificado | Empresa: Mercor

technicien essais (f/h)

(8D, 5 Pourquoi, Lean / DMAIC). Rigoureux(se), autonome et doté(e) d'un excellent sens relationnel, votre réactivité...

Lugar: Toulouse | 07/11/2026 02:11:00 AM | Salario: S/. €29000 - 32000 per year | Empresa: Randstad