Remote Lean 4 Proof Engineer: Formalize Math Frontiers

Alignerr Corp.; Remote; GBP 80,000 - 100,000; Part time

Job summary

A leading mathematics and computer science firm is seeking a Lean 4 Proof Engineer to work remotely. The ideal candidate will possess a Master’s degree in a relevant field and expertise in proof writing and formal verification. Responsibilities include translating mathematical proofs into machine-verifiable formats and collaborating on advanced AI projects. The role offers competitive hourly pay ranging from $70 to $150 and flexible working hours, making it perfect for those passionate about the intersection of mathematics and computer science.

Benefits

Competitive pay

Flexible remote work

Collaboration on cutting-edge AI projects

Freelance perks: autonomy and flexibility

Qualifications

• Master's degree or higher in Mathematics, Logic, or closely related field.
• Strong foundation in rigorous proof writing and mathematical reasoning.
• Hands-on experience with proof assistants like Lean, Coq, etc.

Responsibilities

• Translate informal mathematical proofs into Lean with clarity and correctness.
• Analyze generic and domain-specific proofs for hidden assumptions.
• Collaborate with researchers on improving formal verification pipelines.

Skills

Rigorous proof writing

Mathematical reasoning

Experience with Lean

Enthusiasm for formal verification

Education

Master’s degree in Mathematics, Logic, or related field

Tools

Lean 3 or Lean 4

Coq

Isabelle/HOL

Agda

Job description

A leading mathematics and computer science firm is seeking a Lean 4 Proof Engineer to work remotely. The ideal candidate will possess a Master’s degree in a relevant field and expertise in proof writing and formal verification. Responsibilities include translating mathematical proofs into machine-verifiable formats and collaborating on advanced AI projects. The role offers competitive hourly pay ranging from $70 to $150 and flexible working hours, making it perfect for those passionate about the intersection of mathematics and computer science.