Alignerr
Mathematician – Proof Formalization & AI Research (Remote Contract)
Formalize advanced mathematical theorems and arguments using Lean 4 to contribute to large-scale libraries like mathlib. The role involves auditing formal proofs and helping train next-generation AI language models in mathematical reasoning.
