Mathematical Formalization Specialist - Remote

Alignerr(2 months ago)

RemoteFull TimeSenior$176,966 - $235,935 (estimated)Research and Development

About this role

The Mathematical Formalization Specialist role at Alignerr focuses on converting human-written mathematical arguments into precise, machine-verifiable formal proofs, primarily using Lean and related systems. The position operates at the boundary of mathematics and computer science, exploring problems beyond the current capabilities of automated theorem provers. The specialist will contribute to understanding and extending the limits of formal verification and mechanized mathematics. This role supports Alignerr’s mission to improve AI reasoning and reliability through expert-driven formalization work.

View Original Listing

Required Skills

Formal Proofs
Lean Programming
Proof Assistants
Proof Analysis
Mathematical Reasoning
Formal Verification
Proof Decomposition
Lemma Selection
Proof Structuring
Type Theory

+4 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.

View more jobs at Alignerr →