Alignerr jobs

Open Alignerr jobs and AI training projects, updated every hour. Pay in current Alignerr listings: $30–120/hour, median $55.

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Applied Formal Methods Researcher (Lean 4)

Alignerr Part-time Remote 1 week ago

Researcher - Lean 4 & Formal Proof Systems

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Part-time Remote 1 week ago