Country: Java
Computer Science/Formal Mathematician Fully Remote jobb - Nyajobben.se - Jobb sök

Vart är du på väg?

Lediga Computer Science/Formal Mathematician Fully Remote jobb

Formal Mathematician - Fully Remote

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

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

Formal Mathematician - Fully Remote

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

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