Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping how AI understands formal proofs. This fully remote, hourly contract targets mathematicians passionate about formal verification and mechanized mathematics.
You'll translate informal proofs, analyze gaps, and build readable proof scripts while collaborating with AI researchers to improve verification pipelines. The role offers ongoing work and adaptable schedule.
J-18808-Ljbffr