Mathematical Formalization Specialist - Remote

Alignerr(1 month ago)

RemoteFull TimeSenior$168,654 - $225,203 (estimated)Research

About this role

The Mathematical Formalization Specialist at Alignerr works at the intersection of mathematics and computer science to turn human-written mathematical arguments into precise, machine-verifiable formalizations. The role focuses on advancing the frontier of what formal verification systems like Lean can capture and automate. The specialist will collaborate with researchers and contribute to high-integrity datasets and workflows that improve AI model reasoning.

View Original Listing

Required Skills

Lean Programming
Formal Verification
Proof Construction
Mathematical Reasoning
Proof Analysis
Theorem Proving
Type Theory
Proof Automation
Research Collaboration
Technical Communication

+4 more

Qualifications

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