Mathematical Formalization Specialist - Remote

Labelbox

4 months ago

3.6 on Glassdoor

Remote

Full Time

Medior

0 applicants

View Job Listing

Apply to 100+ jobs

About this role

The Mathematical Formalization Specialist role focuses on converting human-written mathematical arguments into precise, machine-verifiable proofs using Lean and related systems. The position sits at the interface of mathematics and computer science, working with complex proofs that push the limits of current formal verification tools. The specialist contributes to advancing AI reliability by building high-integrity formal proof datasets and exploring where automated provers succeed or fail. The role also involves close collaboration with researchers to refine formal verification strategies and pipelines.

Skills

Qualifications

Master’s in MathematicsMaster’s in LogicMaster’s in Theoretical Computer SciencePhD in MathematicsPhD in Logic

About Labelbox

labelbox.com

Labelbox 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.