Mathematical Formalization Specialist

About this role

Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — work at the frontier of AI and formal verification, fully remote…

Read the full listing on Alignerr

Categories

Math, stats & data

Similar jobs

• Data & Charts Expert micro1 $25–50/hrOct 26, 2026
• Data Science & Analytic Methodology SME micro1 $60–100/hrOct 22, 2026
• Mathematics Expert (MSc./PhD) micro1 $60–120/hrOct 22, 2026
• STEM Researchers - MSc/PhD (Must own MacBook) MercorHourly $50–60/hrOct 18, 2026
• Data Analysts & Spreadsheet Specialists (Must own MacBook) MercorHourly $50–60/hrOct 18, 2026
• Privacy Analyst micro1 $31–60/hrOct 13, 2026