Remote Lean Proof Architect

Alignerr; Boston (MA); Remote; USD 68,880 - 206,640; Full time

Job summary

A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages. The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification. This position offers competitive hourly pay ranging from $50 to $150.

Qualifications

• Deep training in rigorous proof construction.
• Hands-on experience with formal proof languages.
• Ability to translate informal arguments into clean formal proofs.

Responsibilities

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

Skills

Rigorous proof writing

Mathematical reasoning

Experience with Lean

Formal verification enthusiasm

Education

Master’s degree in Mathematics or related field

Tools

Lean

Coq

Isabelle/HOL

Agda

Job description

A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages. The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification. This position offers competitive hourly pay ranging from $50 to $150.