Remote Lean 4 Formal Methods Researcher (Contract)

Alignerr is seeking Applied Formal Methods Researchers to work fully remote on translating mathematical proofs into machine-verifiable Lean 4 proofs. Ideal candidates will possess a Master's degree in Mathematics or related field and have hands-on experience with Lean or similar formal systems. Responsibilities include identifying gaps in mathematical arguments, collaborating on verification strategies, and developing readable proof scripts. This flexible contract role offers the opportunity to work on cutting-edge AI research and contribute to mechanized mathematics.
#J-18808-Ljbffr