At a Glance
- Tasks: Formalise advanced mathematics in Lean 4 for AI training and verification.
- Company: Alignerr, a leader in AI research with a focus on precision.
- Benefits: Fully remote, flexible hours, and a chance to work on cutting-edge projects.
- Other info: Collaborative environment with opportunities for professional growth.
- Why this job: Blend maths and computer science to make a real impact in AI verification.
- Qualifications: Strong background in mathematics and experience with formal proof systems.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Researcher to formalize advanced mathematics in Lean 4 for AI training and verification.
The role blends mathematics and computer science, translating human arguments into machine-verifiable formalizations and advancing proof automation.
This is a fully remote, flexible contract for researchers who value precision and rigor.
The work focuses on translating proofs, testing proof assistants, and collaborating with teams to improve verification pipelines. #J-18808-Ljbffr
Remote Lean 4 & Formal Proof Researcher 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.
