Remote Researcher: Lean 4 & Formal Proofs

Alignerr is seeking a Researcher to translate complex mathematical arguments into machine-verifiable Lean 4 proofs, advancing the frontier of mechanized mathematics. You’ll analyze proofs, identify gaps, and push automation where it struggles, collaborating with AI researchers on verification pipelines.

This remote, flexible hourly contract role offers 10–40 hours per week and the freedom to shape formalization strategies across disciplines in a cutting-edge research environment.

#J-18808-Ljbffr…