Applied Formal Methods Researcher (Lean 4)

Applied Formal Methods Researcher (Lean 4)

Applied Formal Methods Researcher (Lean 4)

Alignerr

LinkedIn

Auckland

3 hours ago

No application

About

We're looking for experts to help train better AI. At Alignerr, we offer paid, flexible projects for writers, coders, and subject matter experts to refine and align advanced artificial intelligence. Work when you want, where you want. Apply today at Alignerr.com or through our open Job Postings.