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, versatile contract role designed for precision and structure in formal mathematics.
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