Remote AI Training Jobs

13,678 open AI training jobs from 46 platforms — prompt evaluation, data annotation, RLHF, coding and expert work. Updated every hour.

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote $170–200/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote $170–200/hr 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote $170–200/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote $170–200/hr 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote Typical on Alignerr: $30–120/hr 1 week ago