Alignerr

Selective AI training platform by Labelbox connecting subject matter experts with generative AI improvement projects.

AI Training AI Training & Evaluation
Visit Alignerr
★ ★ ★ ★ ★ New (0 reviews)
San Francisco, USA HQ
450 employees

Open jobs at Alignerr

377 jobs

Business Analyst

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Business Analyst

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Lean 4 Proof Engineer - Mathematical Formalization

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Researcher - Lean 4 & Formal Proof Systems

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Researcher - Lean 4 & Formal Proof Systems

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Lean 4 Proof Engineer - Mathematical Formalization

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Formal Verification Scientist (Lean 4 & Mathlib)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Applied Formal Methods Researcher (Lean 4)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Researcher - Lean 4 & Formal Proof Systems

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Formal Verification Scientist (Lean 4 & Mathlib)

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Researcher - Lean 4 & Formal Proof Systems

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Lean 4 Proof Engineer - Mathematical Formalization

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Lean 4 Proof Engineer - Mathematical Formalization

AI & Data Training Contract
Remote (Global) May 25, 2026
View →

Stay in the loop.

One email per week, 5 hand-picked roles.