Lean 4 Proof Engineer – Mathematical Formalization
Alignerr

Auckland
•4 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.
Application
Fill in your information and participate in the selection process for the Lean 4 Proof Engineer – Mathematical Formalization position.
✓
Profile Test
✓
Resume
✓
Upload
✓
Application
Lean 4 Proof Engineer – Mathematical Formalization
Send your resume to the link below.
Submit Application
Similar Positions
permanent
New Zealand
Job reference – 1120009 Skilled and qualified automotive technician...
-
29 minutes ago
Adzuna



