Lean 4 Proof Engineer – Mathematical Formalization
Alignerr

Melbourne, VIC
•1 hour 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.
Lean 4 Proof Engineer – Mathematical Formalization
Send your resume to the link below.
Submit Application
Similar Positions
Adelaide, Adelaide Region
Who we are: At Mantra Kitchen and Joinery Pty Ltd, our aim is to ma...
Winnellie, Darwin
ABOUT US - 4Kitchens Pty Ltd: We are a professional team of awesome...
Adzuna



