Mathematical Formalization Specialist - Remote

Labelbox

4 months ago

3.6 on Glassdoor

Remote

Full Time

Senior

0 applicants

View Job Listing

Apply to 100+ jobs

About this role

The Mathematical Formalization Specialist at Alignerr works at the interface of mathematics and computer science to convert human-written mathematical arguments into precise, machine-verifiable formal proofs. The role focuses on advancing what current formal proof systems like Lean can express and automate by tackling proofs that challenge existing tools. The specialist collaborates with researchers to refine formal verification pipelines and contributes to high-integrity datasets for improving AI reasoning. This position emphasizes rigorous formalization, structural clarity, and exploration of the limits of automated theorem proving.

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.