At a Glance
- Tasks: Formalise advanced mathematics in Lean 4 for AI training and verification.
- Company: Join 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 to enhance verification pipelines.
- Why this job: Make a real impact by translating human arguments into machine-verifiable proofs.
- Qualifications: Strong background in mathematics and computer science, with proof automation experience.
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 in Glasgow 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.
