At a Glance
- Tasks: Translate informal proofs into Lean with clarity and correctness.
- Company: Alignerr, a leader in AI reasoning and mathematical formalization.
- Benefits: Flexible remote work, competitive hourly pay, and collaboration with top AI research labs.
- Other info: Join a dynamic team focused on innovation and excellence in AI.
- Why this job: Make a real impact in AI by formalising complex mathematical proofs.
- Qualifications: Strong understanding of mathematical proofs and experience with Lean.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr seeks a Mathematical Formalization Specialist to translate informal proofs into Lean (Lean 3 or Lean 4) with clarity and correctness.
You will analyze complex proofs and identify gaps, formalizing sub-structures within machine-verifiable mathematics.
Join a fully remote, flexible hourly contract to collaborate with AI research labs, extend formal verification pipelines, and produce readable proof scripts aligned with mathematical best practices.
#J-18808-Ljbffr
Lean Proof Architect for AI Reasoning (Remote) in London employer: Alignerr
Alignerr is an exceptional employer that champions innovation in healthcare through AI, offering a dynamic remote work environment that fosters collaboration and creativity. Employees benefit from a culture of continuous learning and professional development, with ample opportunities to grow within the organisation while contributing to groundbreaking projects that have a real impact on clinical research. Join us to be part of a forward-thinking team dedicated to transforming healthcare for the better.
