Mathematician; Foundations​/Formalization

Overview

At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. We’re seeking mathematicians who enjoy working with formal systems, rigorous proof methods, and the foundational structure of mathematical reasoning, particularly within Lean. This role supports frontier AI research by formalizing and auditing advanced mathematics and logical structures using modern proof assistants.

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

Your work will sit at the intersection of pure mathematics, logic, and formal systems engineering
.

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