← Back to Gigs

Formal Verification Scientist (Lean 4 & Mathlib)

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

Description

Formal Verification Scientist (Lean 4 & Mathlib)

Day-to-day

  • Write and formalize advanced mathematical proofs in Lean for AI research
  • Ideal for mathematicians focused on formal verification and pushing the limi

Focus

  • AI research

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

→