Mathematical Formalization Specialist - Remote

Alignerr(1 month ago)

RemoteFull TimeSenior$162,665 - $218,110 (estimated)Research

About this role

The Mathematical Formalization Specialist role focuses on converting human-written mathematical arguments into precise, machine-verifiable formal proofs, with a strong emphasis on Lean and related proof systems. The position operates at the boundary of mathematics and computer science, working on proofs that exceed the current capabilities of automated provers. The specialist will contribute to advancing formal verification pipelines and the broader reliability of AI reasoning. This role is ideal for a mathematically mature candidate interested in mechanized mathematics and the structural beauty of rigorous formalization.

View Original Listing

Required Skills

Lean Proofs
Formal Verification
Proof Assistants
Mathematical Reasoning
Proof Analysis
Proof Formalization
Type Theory
Theorem Proving
Proof Automation
Research Collaboration

+4 more

Qualifications

Master’s in Mathematics
Master’s in Logic
Master’s in Theoretical Computer Science

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.