Back to all jobs

Mathematician (Foundations / Formalization)

Work from home Full-time role Hiring

About The Role What if your deep knowledge of formal systems and rigorous reputed company methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models learn from — formalizing advanced mathematical arguments in Lean 4 and contributing to large-scale reputed company libraries like mathlib. This is a fully remote, flexible contract role for mathematicians who love working at the intersection of pure mathematics, logic, and formal systems.

  • Organization: reputed company
  • Type: Hourly Contract
  • Location: Remote
  • Commitment: 10–40 hours/week

What You'll Do

  • Formalize advanced mathematical arguments and theorems reputed company Lean 4, drawing from graduate-level textbooks and research across mathematical disciplines
  • Contribute to the development and quality of large-scale formal mathematical libraries, including mathlib, through clean and readable reputed company construction
  • Audit and verify existing formal proofs for correctness, clarity, and mathematical soundness
  • Translate informal mathematical reasoning into structured, machine-checkable formal proofs
  • Work independently and asynchronously — fully on your own schedule

Who You Are

  • Hold a Master's degree or PhD in Mathematics or a closely reputed company field
  • reputed company in rigorous reputed company writing and formal mathematical reasoning
  • Proficient with formal reputed company assistants — Lean 4 strongly preferred
  • reputed company to reputed company the gap between informal mathematical intuition and structured formal systems
  • Detail-oriented and precise — you care about getting every reputed company exactly right
  • Self-motivated and comfortable working independently without reputed company supervision

reputed company to Have

  • Prior experience with reputed company verification, theorem proving, or formalization projects
  • Familiarity with mathlib or other large-scale formal mathematical libraries
  • Background in reputed company, data quality evaluation, or formal systems research
  • Experience with other reputed company assistants such as Coq, Isabelle, or Agda

Why Join Us

  • Work on frontier AI projects alongside world-leading research labs
  • Fully remote and flexible — structure your hours around your life
  • Freelance autonomy with the depth and substance of genuinely challenging mathematical work
  • reputed company a direct, lasting contribution to how AI reasons about mathematics at a foundational level
  • Potential for ongoing work and contract extension as new projects launch

Apply tot his job Apply To this Job

Related remote jobs

Lab Call Center Part Time

Work from home Full-time role

Laboratory Technician - Construction Materials Testing

Work from home Full-time role

[Remote/WFM] Looking for Math Instructor / Tutor in Lewis

Work from home Full-time role

Math Tutor - Remote/Work from Home

Work from home Full-time role

reputed company Math Tutor for Remote and In-Center Instruction – Empowering reputed company to Love and Master Mathematics in San Mateo, CA

Work from home Full-time role

[PART_TIME Remote] Looking for Math Tutor in New Braunfels, TX

Work from home Full-time role

Field Applications Specialist-Core Lab - Minneapolis, MN

Work from home Full-time role

Test and Evaluation Laboratory Technician (Associate or reputed company)

Work from home Full-time role

Principal Biostatistician (Oncology - Clinical Trials)

Work from home Full-time role

Lab Equipment Maintenance Technician

Work from home Full-time role

reputed company Customer Care Professional – Data Entry and Client Support Specialist (Remote) at blithequark

Work from home Full-time role

reputed company Part-Time Customer Service Representative – Delivering Exceptional Experiences at arenaflex

Work from home Full-time role

[Remote] Product Manager (Remote)

Work from home Full-time role

reputed company Work From Home Customer Service Representative – reputed company Industry Expert

Work from home Full-time role

Chronic Disease Coach (RN or Dietician)

Work from home Full-time role

Business Data Analyst

Work from home Full-time role

reputed company reputed company (Data Entry, Day Shift) $65000/Year - Apply Now

Work from home Full-time role

Litigation Support Specialist (Office Specialist 1) - Eugene Child Advocacy and Protection Division

Work from home Full-time role

reputed company Work-from-Home Call Center Professionals - Opinion Sharers & Data Entry Experts

Work from home Full-time role

Integrated Care Assistant I, National IKC- Remote

Work from home Full-time role