Mathematical Formalization Specialist - Remote
Labelbox
About this role
The Mathematical Formalization Specialist at Alignerr works at the intersection of mathematics and computer science to turn human-written mathematical arguments into precise, machine-verifiable formalizations. The role focuses on advancing the frontier of what formal verification systems like Lean can capture and automate. The specialist will collaborate with researchers and contribute to high-integrity datasets and workflows that improve AI model reasoning.
Skills
Qualifications
About Labelbox
labelbox.comLabelbox is a data labeling and data‑ops platform that helps AI teams "build, operate, and staff" scalable data factories for training machine learning models. It combines a web annotation suite (images, video, LiDAR, and text), workflow and quality controls, data management and metadata tools, plus APIs and integrations to fit into ML pipelines. Alongside the software, Labelbox provides managed labeling services and workforce solutions to scale annotation and maintain label quality. Enterprises use it to accelerate model development, improve label consistency and governance, and operationalize high‑volume labeled data.
Recent company news
PR NewswireLabelbox acquires agentic sales automation startup, Upcraft, to rapidly scale the human expertise powering frontier AI
3 weeks ago
Andreessen HorowitzAI’s Unsung Hero: Data Labeling and Expert Evals
Jun 27, 2025
Business InsiderAI training companies are raising billions to get humans to teach chatbots. Here are the startups cashing in.
Sep 25, 2025
BloombergScale AI Rivals See Customer Demand Surge After Meta Investment
Jun 18, 2025
AI MagazineTop 10: Data Labelling Tools
Sep 17, 2025
About Labelbox
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 Labelbox.
Salary
$169k – $225k
per year
More jobs at Labelbox
Similar Jobs
Innovation Engineer - Office of the Vice President for Research
Carnegie Mellon University
Pure Mathematics Specialist – Freelance AI Trainer Project
Invisible Technologies
Adjunct Faculty, Mathematical Sciences
SVSU Saginaw Valley State University
Senior Software Engineer – Applied AI Systems
Symbolica AI
Postdoctoral Researchers in Mathematical Analysis
Aalto University
Senior Lecturer / Lecturer in Mathematical Sciences
Nanyang Technological University