Alignerr

1 open remote positions

Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. They recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high-integrity dataset creation.

Salary Distribution 1 of 1 jobs

Open Positions

Mathematical Formalization Specialist

$50–$150/hr
US

  • Translate informal mathematical proofs into Lean (and related proof systems) with an emphasis on clarity, structure, and correctness.
  • Analyze generic and domain-specific proofs, identifying gaps, hidden assumptions, and formalizable sub-structures.
  • Construct formalizations that test the limits of existing proof assistants—especially where tools struggle or fail.

View details Similar jobs