Remote Lean Proof Architect for AI Formalization

Alignerr is seeking a Mathematical Formalization Specialist who will translate informal mathematical proofs into Lean. This fully remote role offers flexibility and allows you to contribute to the future of AI reasoning.

The ideal candidate will have a Master’s degree in Mathematics or related field and strong expertise in formal proof systems. You will collaborate closely with AI research labs to address complex formal verification challenges.