Country: Java
Computer Science/Lean Engineer Formal Mathematics jobb - Nyajobben.se - Jobb sök

Vart är du på väg?

Lediga Computer Science/Lean Engineer Formal Mathematics jobb

Lean Engineer - Formal Mathematics

. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... the right lemmas. Strong background in proof-based mathematics, theoretical computer science, or logic through a degree...

Företag: Mercor
Stad: London
Datum: 10 Oct 2026
Sida:
Sök jobbet här

Lean Engineer - Formal Mathematics

. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... the right lemmas. Strong background in proof-based mathematics, theoretical computer science, or logic through a degree...

Företag: Mercor
Stad: London
Datum: 01 Oct 2026
Sida:
Sök jobbet här

Formal Mathematician - Fully Remote

. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... the right lemmas. Strong background in proof-based mathematics, theoretical computer science, or logic through a degree...

Företag: Mercor
Stad: London
Datum: 21 Oct 2026
Sida:
Sök jobbet här

Formal Mathematician - Fully Remote

. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... the right lemmas. Strong background in proof-based mathematics, theoretical computer science, or logic through a degree...

Företag: Mercor
Stad: London
Datum: 07 Oct 2026
Sida:
Sök jobbet här
Sida 1
Powered by Careerjet.com