×
Register Here to Apply for Jobs or Post Jobs. X
More jobs:

Mathematician; Foundations​/Formalization

Remote / Online - Candidates ideally in
New York, New York County, New York, 10261, USA
Listing for: Alignerr
Remote/Work from Home position
Listed on 2026-02-16
Job specializations:
  • Education / Teaching
    Mathematics
Salary/Wage Range or Industry Benchmark: 170 - 200 USD Hourly USD 170.00 200.00 HOUR
Job Description & How to Apply Below
Position: Mathematician (Foundations / Formalization)
Location: New York

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
  • Organization:
    Alignerr
  • Position:
    Mathematician (Foundations / Formalization)
  • Type:
    Hourly Contract
  • Compensation: $170–$200 /hour
  • Location:

    Remote
  • Commitment: 10–40 hours/week
What You’ll Do

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.
What We’re Looking For
  • 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
Why Join Us
  • 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.
Application Process
  • 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.

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary