Full-time
Lean 4 Formal Proofs Researcher for AI Verification
Posted by Alignerr • workfromhome, ciudad de méxico, Mexico
About the Role
Alignerr is seeking a Researcher to contribute to AI training by translating complex mathematical proofs into machine-verifiable formats. This fully remote role requires a strong understanding of formal verification and proof systems, specifically Lean 4.
The ideal candidate holds a Master’s degree in Mathematics or a related field and has hands-on experience with proof assistants. Join us in pushing the boundaries of AI and mathematical reasoning!
#J-18808-LjbffrReady to Apply?
Submit your application today and take the next step in your career journey with Alignerr.
Apply Now