Remote Lean 4 Formal Verification Scientist

Alignerr; Charlotte (AR); On-site; USD 83,000 - 152,000; Part time

Benefits offered by this job

Remote work

Job summary

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs while pushing the boundaries of what proof assistants can do. This fully remote hourly contract role invites mathematicians passionate about mechanized reasoning to collaborate with AI teams on frontier problems.

Applicants should hold a Master's or higher in Mathematics or related fields, with a strong track record in formal proof writing and a deep

Qualifications

• Master's degree or higher in Mathematics or a closely related field
• Strong foundation in algebra, analysis, topology, logic, or discrete mathematics
• Ability to translate dense informal arguments into precise formal proofs

Responsibilities

• Translate informal mathematical proofs into clean, structured Lean 4 formalizations
• Analyze proofs across domains to identify gaps and formalizable sub-structures
• Construct formalizations that test the limits of proof assistants, especially where automation fails
• Collaborate with AI researchers to design formal verification strategies
• Develop readable, reproducible proof scripts aligned with Mathlib idioms
• Advise on proof decomposition, lemma selection, and structuring techniques
• Investigate where automated provers break down and articulate why
• Create Lean proofs that reveal deeper patterns and generalizations

Job description

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs while pushing the boundaries of what proof assistants can do. This fully remote hourly contract role invites mathematicians passionate about mechanized reasoning to collaborate with AI teams on frontier problems.

Applicants should hold a Master's or higher in Mathematics or related fields, with a strong track record in formal proof writing and a deep