Remote Lean 4 Proof Engineer — Formalization Expert

Alignerr is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. This fully remote role invites mathematicians with formal verification expertise to translate rigorous proofs into machine-verifiable formats. You will work on advanced problems at the intersection of mathematics and AI, collaborating with leading research teams on frontier issues.

The ideal candidate holds a Master’s degree in Mathematics or similar fields and has hands-on experience with Lean 4 or similar systems. Your contributions will help shape the future of mechanized mathematics.

#J-18808-Ljbffr…