At a Glance
- Tasks: Formalise mathematical arguments in Lean 4 and contribute to AI foundations.
- Company: Alignerr, a leader in advanced AI research with a remote work culture.
- Benefits: Flexible schedule, work on cutting-edge projects, and contribute to large-scale libraries.
- Other info: Fully remote role with opportunities for impactful contributions in a dynamic field.
- Why this job: Join a pioneering team and shape the future of AI with your mathematical expertise.
- Qualifications: Master’s or PhD in Mathematics with strong proof writing and logical reasoning skills.
The predicted salary is between 50000 - 70000 £ per year.
Alignerr is looking for a mathematician to help build the mathematical foundations for advanced AI. This fully remote role involves formalizing mathematical arguments in Lean 4 and contributing to large-scale libraries like mathlib.
The ideal candidate holds a Master’s or PhD in Mathematics and has strong skills in proof writing and logical reasoning. Enjoy the flexibility of working on cutting-edge AI research on your own schedule.
Remote Lean 4 Mathematician - AI Foundations & Proofs in London employer: Alignerr
Alignerr is an exceptional employer that offers the unique opportunity to work remotely on groundbreaking AI research while enjoying a flexible schedule. With a strong emphasis on employee growth, you will have access to advanced projects and collaborative environments that foster innovation and creativity in mathematical foundations. Join us to be part of a forward-thinking team that values your expertise and encourages meaningful contributions to the field.
