← Back to Gigs

Lean 4 Proof Engineer - Mathematical Formalization

Code Evaluation$20 - $80 per hour
Apply Now →

Description

**Lean 4 Proof Engineer

  • Mathematical Formalization**

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

Code Evaluation

Location

Remote

Employment Type

Freelance

Posted

4/3/2026

Interested? Apply directly.

Apply Now →

Related Opportunities

Software Engineering Expert (Super Star Program)

$100 - $300 per hour

Engineering Expert - Specialized Subdomains (Super Star Program)

$100 - $300 per hour

Machine Learning Engineer Talent Network

$70 - $250 per hour

Software AI Engineer

$70 - $200 per hour

AI/ML Engineer

$70 - $200 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

→