Remote Lean Proof Architect

Alignerr is seeking a Mathematical Formalization Specialist to translate complex mathematical arguments into formal verifications using tools like Lean. This role is fully remote and offers flexible task-based commitment.

The ideal candidate will have a Master’s degree in a related field and strong experience with proof writing. You will work on cutting-edge AI research, collaborating with leading AI labs to enhance formal verification methodologies.