Remote Lean 4 Proof Engineer – Mathematical Formalization

Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-verifiable formalizations. This fully remote role requires a strong foundation in mathematics and hands-on experience with proof assistants. You will work on cutting-edge AI projects and have the flexibility to structure your hours around your life.

This is an excellent opportunity to contribute to serious mathematical work while enjoying freelance autonomy.

#J-18808-Ljbffr…