← Back to Gigs

Mathematician (Foundations / Formalization)

STEM Tutoring$15 - $60 per hour
Apply Now →

Description

Mathematician (Foundations / Formalization)

Day-to-day

  • Join the platform to formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl

Focus

  • Formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl

Details

Category

STEM Tutoring

Location

Remote

Employment Type

Freelance

Posted

4/3/2026

Interested? Apply directly.

Apply Now →

Related Opportunities

STEM Professors/Researchers

$300 - $500 per hour

Nuclear Professional

$180 - $300 per hour

Electrical Engineering Expert (Super Star Program)

$100 - $300 per hour

Security Systems Architect (Super Star Program)

$100 - $300 per hour

Translational Biology Expert

$110 - $135 per hour
View similar gigs →

Never miss a high-paying gig

Get instant alerts when new AI training opportunities are posted. Choose your ca...

Review

Is Alignerr Legit?

→
Pay Data

How Much Do AI Jobs Pay?

→
Guide

How to Get Started

→