Alignerr is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into Lean. This fully remote role involves working closely with AI research labs to tackle complex formal verification challenges.

The ideal candidate will possess a Master’s degree in Mathematics or a related field, with strong expertise in formal proof systems. The position promises flexibility and an opportunity to shape the future of AI reasoning.