At a Glance
- Tasks: Translate informal mathematical proofs into Lean while ensuring clarity and correctness.
- Company: Join Alignerr, a leader in AI research collaboration.
- Benefits: Flexible remote work, competitive salary, and opportunities for professional growth.
- Other info: Collaborative environment with a focus on innovative AI solutions.
- Why this job: Make a significant impact in AI by formalising mathematics with top researchers.
- Qualifications: Master’s degree in Mathematics or related fields and experience with proof writing.
The predicted salary is between 50000 - 70000 £ per year.
Alignerr is looking for a Mathematical Formalization Specialist to work remotely on translating informal mathematical proofs into Lean. The role emphasizes clarity, structure, and correctness alongside collaboration with leading AI research labs.
The ideal candidate will hold a Master’s or higher in Mathematics, Logic, or related fields, and must have strong experience with proof writing and formal verification systems like Lean, Coq, or Isabelle/HOL.
Remote Lean Proof Specialist for AI Mathematics in London employer: Alignerr
Alignerr is an exceptional employer that fosters a collaborative and innovative work culture, allowing you to engage with leading AI research labs while working remotely. We prioritise employee growth through continuous learning opportunities and provide a supportive environment where clarity and correctness in mathematical formalization are celebrated. Join us to be part of a forward-thinking team that values your expertise and contributions in the exciting field of AI mathematics.
