Job Description
Alignerr is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into Lean 4 proofs, at the edge of what proof assistants can express and automate. This is a fully remote, adaptable contract role designed for precision and structure in formal mathematics.
n
Work with AI researchers to design and refine formal verification strategies, developing readable proof scripts that follow Lean/Mathlib idioms and best practices while tackling intricate