Mathematical Formalization Specialist - Remote

Alignerr(1 month ago)

Toronto, OntarioOnsiteFull TimeSenior$188,405 - $252,769 (estimated)Research and Development

About this role

The Mathematical Formalization Specialist role focuses on converting human-written mathematical arguments into precise, machine-verifiable proofs using Lean and related formal proof systems. The position operates at the intersection of mathematics and computer science, addressing problems that current automated provers struggle with. The specialist will help advance the frontier of formal verification and mechanized mathematics within AI-oriented workflows. The role is based in Toronto and supports Alignerr’s work with leading AI labs on high-integrity, rigorously formalized datasets.

View Original Listing

Required Skills

Lean Programming
Formal Verification
Proof Construction
Mathematical Reasoning
Proof Analysis
Gap Identification
Proof Formalization
Research Collaboration
Pipeline Design
Proof Scripting

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