Mathematical Formalization Specialist - Remote

Alignerr

3 months ago

2.1 on Glassdoor

Remote

Full Time

Medior

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 proofs into machine-verifiable formalizations. The role centers on pushing the boundaries of modern proof assistants, particularly Lean, by formalizing challenging arguments that exceed current automated reasoning capabilities. The specialist collaborates with researchers to explore and improve formal verification pipelines while maintaining high standards of mathematical rigor. This position contributes to advancing AI reliability and mechanized mathematics through high-integrity formal proof construction.

Skills

Qualifications

Master’s Degree in MathematicsMaster’s Degree in LogicMaster’s Degree 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.