Remote Lean 4 Formal Proof Researcher

Alignerr is seeking a Researcher to translate informal mathematical arguments into machine-verifiable Lean 4 proofs, pushing the boundaries of formal verification for AI training. The role is remote and hourly, offering flexible commitment from 10 to 40 hours per week.

You will work on rigorous formalizations across mathematics and logic, collaborating with researchers to refine verification pipelines and improve proof automation strategies.

#J-18808-Ljbffr