Mathematical Formalization Specialist - Remote

Alignerr(1 month ago)

RemoteFull TimeMedior$110,042 - $147,190 (estimated)Research and Development

About this role

The Mathematical Formalization Specialist at Alignerr focuses on converting human-written mathematical arguments into precise, machine-verifiable formal proofs, primarily using Lean and related proof systems. The role operates at the intersection of mathematics and computer science, working on problems that exceed current automated proving capabilities. The specialist contributes to exploring the limits of formal verification and helps refine formal proof workflows with AI labs. This position emphasizes mathematical rigor, structural clarity, and advancing the state of mechanized mathematics.

View Original Listing

Required Skills

Formal Verification
Proof Assistants
Lean Programming
Coq Programming
Isabelle HOL
Agda Programming
Proof Construction
Mathematical Reasoning
Proof Analysis
Proof Decomposition

+8 more

Qualifications

Master’s Degree in Mathematics
Master’s Degree in Logic
Master’s Degree 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.