Lean Engineer - Formal Mathematics

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

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

Formal Mathematician - Fully Remote

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

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

FIELD TECHNICIAN

, etc.) and formalize the offer, where appropriate, (information, quotation, etc.) with internal and external stakeholders (sales teams...

Lugar: Eysines, Gironde | 06/10/2026 22:10:49 PM | Salario: S/. No Especificado | Empresa: Groupe Monnoyeur