Mathematical Formalization Specialist - Remote

Labelbox

3 months ago

3.6 on Glassdoor

Remote

Full Time

Senior

1 applicant

View Job Listing

Apply to 100+ jobs

About this role

The Mathematical Formalization Specialist role at Alignerr focuses on converting human-written mathematical arguments into precise, machine-verifiable proofs using systems like Lean. The position operates at the intersection of mathematics and computer science, exploring proofs that exceed the capabilities of current automated provers. The specialist will help advance the frontier of formal verification by working closely with researchers and contributing to improved verification pipelines. This role emphasizes rigorous formalization, clarity of structure, and advancing mechanized mathematics.

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.