Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean proofs, pushing the boundaries of proof automation.
This is a fully remote, hourly contract for mathematicians who live and breathe rigorous proof construction and want versatile weekly hours between 10 and 40.
You'll translate informal proofs into Lean 4, analyze gaps, and design reproducible proof scripts while collaborating with researchers on verification pipelines.