Remote Lean Proof Architect for AI Reasoning

Alignerr is seeking a Mathematical Formalization Specialist to translate rigorous human-written mathematics into machine-verifiable formal proofs. This fully remote role offers flexibility and the chance to work with leading AI research labs. The ideal candidate will possess a Master's degree in Mathematics or a related field, with strong skills in proof writing and experience in formal proof systems, particularly Lean. Join us to contribute to cutting-edge AI research and formal verification projects.
#J-18808-Ljbffr