Mathematical Formalization Specialist - Remote

Alignerr(1 month ago)

HybridFull TimeMedior$124,846 - $165,920 (estimated)Research and Development

About this role

The Mathematical Formalization Specialist role at Alignerr focuses on translating human-written mathematical arguments into precise, machine-verifiable formal proofs, primarily using Lean and related proof assistants. The position sits at the intersection of mathematics and computer science and targets problems that exceed current automated proving capabilities. The specialist will contribute to advancing formal verification methods and understanding the limits of existing proof systems. This role supports Alignerr’s mission to improve AI reasoning through high-integrity, formally verified mathematical datasets.

View Original Listing

Required Skills

Proof Formalization
Lean Programming
Coq Programming
Isabelle HOL
Agda Programming
Mathematical Reasoning
Proof Analysis
Formal Verification
Type Theory
Curry–Howard Correspondence

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