Mathematical Formalization Specialist - Remote

Alignerr

3 months ago

2.1 on Glassdoor

Remote

Full Time

Senior

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, with a strong emphasis on Lean. The position sits at the intersection of mathematics and computer science, engaging with proofs that push the boundaries of current automated provers. The specialist will contribute to advancing formal verification capabilities and improving workflows that enhance AI model reasoning. This role is ideal for someone who values precision and enjoys working on rigorous, cutting-edge formalization challenges.

Skills

Qualifications

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

About Alignerr

alignerr.com

Alignerr is a platform that pays domain experts to train and improve AI by completing remote, flexible tasks on their own schedule. It connects thousands of subject-matter experts with AI teams via a web app to perform data labeling, annotation, evaluation, and other human-in-the-loop work. Experts earn money for contributing their knowledge while companies get higher-quality, domain-specific data and feedback to boost model performance. Alignerr is used to scale and streamline human-centered workflows for AI training and validation.