Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into machine-verifiable knowledge and to push the boundaries of proof assistants. This is a fully remote hourly contract designed for mathematicians who enjoy rigorous proof and mechanized mathematics.
You will work on translating informal arguments into Lean-based formal proofs, collaborate with researchers, and develop highly readable proof scripts following Lean idioms.
#J-18808-Ljbffr
This posting is for the Remote Formal Verification Scientist - Lean 4 & Mathlib role at Alignerr Corp., based in Cambridge, England, United Kingdom.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Remote Formal Verification Scientist - Lean 4 & Mathlib role in the description above.
We appreciate your interest in this position.