At a Glance
- Tasks: Translate informal mathematical proofs into formalizations for AI projects.
- Company: Join Alignerr, a leader in cutting-edge AI technology.
- Benefits: Enjoy flexible working hours and a fully remote role.
- Why this job: Make a real impact on AI reasoning while working with experts.
- Qualifications: Master’s degree and experience with formal verification systems like Lean.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Lean 4 Proof Engineer to work on cutting-edge AI projects. This fully remote role involves translating informal mathematical proofs into formalizations, collaborating with AI researchers, and providing expert guidance.
The ideal candidate will have a master’s degree in a relevant field and strong experience with formal verification systems like Lean. Enjoy flexible working hours while influencing AI reasoning.
Remote Lean 4 Proof Engineer - Formal Math for AI in Edinburgh employer: Alignerr
Alignerr is an exceptional employer that champions innovation and flexibility, offering a fully remote role that allows you to work on groundbreaking AI projects from anywhere. With a strong emphasis on collaboration and professional growth, employees benefit from flexible working hours and the opportunity to influence the future of AI reasoning, making it a rewarding environment for those passionate about formal mathematics and technology.
