Researcher - Lean 4 & Formal Proof Systems
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Alignerr
Backed by Labelbox. A modern platform with a Slack community. Earn $15-$60/hr. Fast onboarding assessments for Coding, Law, and Sciences.
View Platform ReviewsAdvanced Filters
457 Jobs
Page 1 of 16
Applied Formal Methods Researcher (Lean 4)
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Lean 4 Proof Engineer - Mathematical Formalization
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics Coding Lean
Formal Verification Scientist (Lean 4 & Mathlib)
$170-200
Alignerr • 🎓 Any • 🆕 Today
Mathematics AI Training
Voice Performer - Australian English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇦🇺
Voice Acting Australian English English
Voice Performer - UK English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English
Voice Performer - UK English (Scotland)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧 🏴
Voice Acting English Scottish Scottish English
Voice Talent - Australian English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇦🇺
Voice Acting Australian English English
Voice Talent - UK English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English
Voice Talent - UK English (Scotland)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧 🏴
Voice Acting English Scottish Scottish English
VO Talent- Australian English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇦🇺
Voice Acting Australian English English
VO Talent- UK English (Wales)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Welsh
VO Talent - UK English (Scotland)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧 🏴
Voice Acting English Scottish Scottish English
VO Talent - Irish English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇮🇪
Voice Acting English Irish Irish English
VO Talent - UK English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English
Voice Performer - UK English (Wales)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Welsh
Voice Performer - Irish English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇮🇪
Voice Acting English Irish Irish English
Voice Talent- UK English (Wales)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Welsh
Voice Talent - Irish English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇮🇪
Voice Acting English Irish Irish English
Voice Over Artist - Australian English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇦🇺
Voice Acting Australian English English
Voice Over Artist - UK English (Wales)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Welsh
Voice Over Artist - UK English (Scotland)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧 🏴
Voice Acting English Scottish Scottish English
Voice Over Artist - Irish English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇮🇪
Voice Acting English Irish Irish English
Voice Over Artist - UK English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Native Speaker
Voice Actor - Irish English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇮🇪
Voice Acting English Irish Irish English
Voice Actor - UK English (Wales)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Welsh
Voice Actor - UK English (Scotland)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧 🏴
Voice Acting English Scottish Scottish English
Voice Actor - UK English (England)
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting British English English Native Speaker
Voice Actor - UK English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇬🇧
Voice Acting English Native Speaker
Voice Actor - Australian English
$120-200
Alignerr • 🎓 Any • 🆕 Today
🇦🇺
Voice Acting Australian English English
1 of 16 Next →
Jobs on Alignerr
Top Domains
Software Engineering
81
STEM
74
Languages
52
Generalist
47
Voice Acting
46
Education Requirements
Any 100%