Lean Engineer - Formal Mathematics

that compile against current mathlib. Cover areas such as algebra, analysis, number theory, combinatorics, and logic. Formalize...

Lugar: Paris | 26/10/2026 18:10:51 PM | Salario: S/. No Especificado | Empresa: Mercor

Lean Engineer - Formal Mathematics

that compile against current mathlib. Cover areas such as algebra, analysis, number theory, combinatorics, and logic. Formalize...

Lugar: Paris | 22/10/2026 17:10:56 PM | Salario: S/. No Especificado | Empresa: Mercor

STAGE 2027 - Amélioration d'outils et de processus (F/H)

: Analyze current estimation practices and formalize a step-by-step methodological guide (ROM User Guide) to eliminate..., and aeronautical engineering environments (ability to formalize clear technical documentation) Soft Skills : Excellent...

Lugar: Toulouse | 21/10/2026 17:10:27 PM | Salario: S/. No Especificado | Empresa: Airbus

Formal Mathematician - Fully Remote

that compile against current mathlib. Cover areas such as algebra, analysis, number theory, combinatorics, and logic. Formalize...

Lugar: Paris | 21/10/2026 17:10:55 PM | Salario: S/. No Especificado | Empresa: Mercor

Finance Core Model Manager (H/F)

regulations). Identify and formalize gaps in relation to the ambitions of the Core Model currently under construction. Draft...

Lugar: Paris | 20/10/2026 19:10:15 PM | Salario: S/. No Especificado | Empresa: Believe Music

Alternance - Client Strategy (H/F)

, helping teams structure their thinking and identify opportunities. · Document and formalize key outputs from meetings...

Lugar: Paris | 20/10/2026 18:10:37 PM | Salario: S/. No Especificado