Remote Lean Formalization Specialist

Alignerr; San Francisco (CA); Remote; USD 68,880 - 206,640; Part time

Job summary

A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.

Qualifications

• Master’s degree or higher in Mathematics or related field.
• Strong foundation in rigorous proof writing and reasoning.
• Experience with formal proof languages, especially Lean.

Responsibilities

• Translate informal mathematical proofs into Lean.
• Analyze proofs, identifying gaps and assumptions.
• Collaborate with researchers to refine formal verification strategies.

Skills

Rigorous proof writing

Mathematical reasoning

Experience with Lean

Formal verification

Communication skills

Education

Master’s degree in Mathematics, Logic, Theoretical Computer Science

Tools

Lean 3

Lean 4

Coq

Isabelle/HOL

Agda

Job description

A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.