Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs, at the frontier of mechanized mathematics. This fully remote, hourly contract role offers collaboration with AI research teams to shape verification pipelines and formalisations.
You'll work on translating informal proofs, analyzing sub-structures, and creating resilient proof scripts, with emphasis on Mathlib idioms and rigorous standards.
#J-18808-LjbffrRemote Formal Verification Scientist - Lean 4 & Mathlib in charlotte at Unknown Company
This position is listed as contract and able to be worked remotely.