At a Glance
- Tasks: Help build the mathematical foundations for advanced AI using Lean 4.
- Company: Alignerr, a leader in AI research with a focus on innovation.
- Benefits: Fully remote work, flexible hours, and the chance to contribute to groundbreaking projects.
- Other info: Work on large-scale libraries like mathlib in a dynamic research environment.
- Why this job: Join a cutting-edge team and shape the future of AI with your mathematical expertise.
- Qualifications: Master’s or PhD in Mathematics with strong proof writing 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 employer: Alignerr
Alignerr offers an exceptional remote work environment that empowers mathematicians to engage in groundbreaking AI research while enjoying the flexibility of a self-directed schedule. With a strong emphasis on collaboration and innovation, employees are encouraged to grow their skills through meaningful contributions to large-scale libraries like mathlib, fostering both personal and professional development in a supportive culture.
