Mathematical Formalization Specialist - Remote
Alignerr
About this role
The Mathematical Formalization Specialist at Alignerr works at the interface of mathematics and computer science to convert human-written proofs into machine-verifiable formalizations. The role centers on pushing the boundaries of modern proof assistants, particularly Lean, by formalizing challenging arguments that exceed current automated reasoning capabilities. The specialist collaborates with researchers to explore and improve formal verification pipelines while maintaining high standards of mathematical rigor. This position contributes to advancing AI reliability and mechanized mathematics through high-integrity formal proof construction.
Skills
Qualifications
About Alignerr
alignerr.comAlignerr is a platform that pays domain experts to train and improve AI by completing remote, flexible tasks on their own schedule. It connects thousands of subject-matter experts with AI teams via a web app to perform data labeling, annotation, evaluation, and other human-in-the-loop work. Experts earn money for contributing their knowledge while companies get higher-quality, domain-specific data and feedback to boost model performance. Alignerr is used to scale and streamline human-centered workflows for AI training and validation.
Recent company news
Contractors training Meta's AI say they read intimate talks with its chatbot — and see data that identifies users
Aug 6, 2025
Report: Meta is developing chatbots that will send unsolicited messages to users
Jul 3, 2025
Leaked docs show how Meta is training its chatbots to message you first, remember your chats, and keep you talking
Jul 2, 2025
Get Paid to Train AI: The New Side Hustle for Professionals
Nov 12, 2025
Meta has found another way to keep you engaged: Chatbots that message you first
Jul 3, 2025
About Alignerr
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for Alignerr.
Salary
$119k – $159k
per year
More jobs at Alignerr
Similar Jobs
Pure Mathematics Specialist – Freelance AI Trainer Project
Invisible Agency
Innovation Engineer - Office of the Vice President for Research
Carnegie Mellon University
Advanced Math Proof Expert
Carolina Title Loans, Inc
Postdoctoral Researchers in Mathematical Analysis
Aalto University
Senior Lecturer / Lecturer in Mathematical Sciences
Nanyang Technological University Singapore
Curriculum Developer, Foundations of Mathematics
Bridge to Enter Advanced Mathematics (BEAM)