Alignerr · 18 hours ago
Mathematician (Foundations / Formalization)
United States
Contract
Remote
Senior Level
$170/hr - $200/hrAlignerr is a company that partners with leading AI research teams to build and train advanced AI models. They are seeking mathematicians who specialize in formal systems and rigorous proof methods to support AI research by formalizing and auditing complex mathematical structures using proof assistants.
Computer Software
Responsibilities
Formalize advanced mathematical arguments within Lean 4 (think theorems from Textbooks across various disciplines)
Contribute to the continual advancement of large-scale formal mathematical libraries (e.g., mathlib) through clean, readable proof construction
Qualification
Required
Master's degree or PhD in Mathematics or a closely related field
Strong background in rigorous proof writing and reasoning
Experience with formal proof assistants. Lean 4 strongly preferred
Ability to turn informal mathematical ideas into structured formal proofs
Preferred
Prior experience with data annotation, data quality, or evaluation systems
Prior work in proof verification, formalization, or theorem proving
Benefits
Competitive pay and flexible remote work.
Freelance perks: autonomy, flexibility, and global collaboration.
Company
Alignerr
We're looking for experts to help train better AI.
11-50 employees
Funding
Current Stage
Early StageCompany data provided by crunchbase