Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
Wellington
•8 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.
Adzuna
Sign In 
New Zealand
Canada
Mexico
United States
Argentina
Brazil
Peru
Japan
South Korea
United Arab Emirates
France
Germany
Italy
Portugal
Spain
Sweden
Switzerland
United Kingdom
