← Back to Gigs

Lean 4 Mathematical Formalization Expert

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

Description

Lean 4 Mathematical Formalization Expert

Day-to-day

  • Seeking experts in Lean 4 to support AI training projects focused on mathematical reasoning, verification, and formal logic

Focus

  • Support AI training projects focused on mathematical reasoning, verification, and formal logic

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

→