Applied Formal Methods Researcher (Lean 4)
Alignerr (by Labelbox) · Mumbai, Maharashtra, India
- Source
- alignerr
Apply on alignerrGoes straight to the source — we never paywall the apply link.
About this role
Applied Formal Methods Researcher (Lean 4) at Alignerr (by Labelbox). Location: Mumbai, Maharashtra, India. Apply via alignerr. This listing is aggregated by AI Training Jobs Finder; the original application happens directly on the source platform.
Skills & domains
- ai-training
- rlhf