Lean Engineer - Formal Mathematics

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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

Lean Engineer - Formal Mathematics

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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

Formal Mathematician - Fully Remote

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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

Formal Mathematician - Fully Remote

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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

Formal Mathematician - Fully Remote

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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

Lean Engineer - Formal Mathematics

languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...

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