Mathematical Formalization Specialist (Lean / Formal Proof Systems)

Alignerr(1 month ago)

RemoteFull TimeSenior$173,937 - $232,577 (estimated)Research and Development

About this role

The Mathematical Formalization Specialist role at Alignerr focuses on converting human-written mathematical proofs into precise, machine-verifiable formalizations, primarily using Lean and related proof systems. The specialist will work at the boundary of current automated reasoning, handling proofs that push beyond the capabilities of existing provers. This position bridges mathematics and computer science, contributing to more reliable AI reasoning and higher-integrity mathematical datasets. The role also involves close collaboration with researchers to advance formal verification methodologies and tooling.

View Original Listing

Required Skills

Formal Verification
Proof Assistants
Lean Programming
Coq Programming
Isabelle HOL
Agda Programming
Proof Translation
Mathematical Reasoning
Proof Analysis
Lemma Selection

+7 more

Qualifications

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