Mathematician; Foundations​/Formalization

About The Job

At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models.

Location: Remote

Organization: Alignerr Position: Mathematician (Foundations / Formalization)
Type: Hourly Contract Compensation: $170–$200 /hour Location: Remote Commitment: 10–40 hours/week

• 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.

• 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

• Prior experience with data annotation, data quality, or evaluation systems
• Prior work in proof verification, formalization, or theorem proving

• Competitive pay and flexible remote work.
• Lead a team working on cutting‑edge AI projects.
• Exposure to advanced LLMs and how they’re trained.
• Freelance perks: autonomy, flexibility, and global collaboration.
• Potential for contract extension.

• Submit your resume
• Complete a short screening
• Project matching and onboarding

PS:
Our team reviews applications daily. Please complete your AI interview and application steps to be considered for this opportunity.