Remote Lean 4 Proof Engineer — Mathematical Formalization

Alignerr is seeking a Lean 4 Proof Engineer to transform complex mathematical arguments into formalizations that AI can verify. This remote role offers the chance to work at the intersection of mathematics and AI, collaborating with top researchers on demanding challenges.

The ideal candidate holds a Master’s degree in a relevant field and possesses a strong foundation in proof writing, experience with formal systems such as Lean, and a passion for formal verification.

#J-18808-Ljbffr…