Remote Lean 4 Formal Verification Scientist

Alignerr is seeking a Formal Verification Scientist to translate complex mathematical arguments into machine-verifiable Lean 4 formalizations for AI research. This fully remote and flexible contract role is perfect for mathematicians who love bridging rigorous proofs with computer science.

The role involves translating informal proofs into structured formalizations, analyzing proofs for hidden assumptions, and collaborating with researchers to enhance formal verification methodologies.