ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Mathematical Formalization Specialist - Remote at Labelbox - ApplyBlast

Mathematical Formalization Specialist - Remote

Labelbox

10 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 at Alignerr focuses on converting human-written mathematical arguments into precise, machine-verifiable formal proofs, primarily using Lean. The position sits between mathematics and computer science, working on proofs that stretch the capabilities of current automated provers. The specialist will contribute to advancing formal verification methods and improving AI reasoning reliability. The role involves close collaboration with researchers to refine formal verification pipelines and explore the frontiers of mechanized mathematics.

Skills

Qualifications

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

About Labelbox

labelbox.com

Headquarters

San Francisco, California, United States

Company Size

51-200 employees

Founded

2018

View Profile

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.