← Retour aux Emplois

Applied Formal Methods Researcher (Lean 4)

General$12 - $40 per hour
Postuler Maintenant →

Description

Applied Formal Methods Researcher (Lean 4)

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

General

Location

Remote

Employment Type

Freelance

Posted

03/04/2026

Postuler Maintenant →

Opportunités Similaires

Professionnels des agences de marketing à New York / Londres (5 ans d'expérience ou plus)

$3,000 per week

Acheteurs et agents d'achat

$500 - $1,000 one-time

Experts en mise en forme de documents Excel/PowerPoint

$200 - $400 one-time

Expert en stratégie commerciale (programme Super Star)

$100 - $300 per hour

Thérapeute conjugal et familial

$82 - $287 per hour
View similar gigs →

Ne manquez aucune opportunité

Recevez des alertes quand de nouvelles offres IA sont publiées. Choisissez votre...

Review

Is Alignerr Legit?

→
Pay Data

How Much Do AI Jobs Pay?

→
Guide

How to Get Started

→