At a Glance
- Tasks: Translate advanced maths into machine-verifiable Lean 4 code and collaborate with AI researchers.
- Company: Alignerr, a leader in formal verification and AI innovation.
- Benefits: Flexible remote work, competitive hourly pay, and the chance to work on groundbreaking projects.
- Other info: Work 10–40 hours per week in a dynamic, innovative environment.
- Why this job: Join the forefront of AI and formal verification, making a real impact in tech.
- Qualifications: Strong understanding of mathematics and experience with Lean 4 coding.
The predicted salary is between 10 - 40 £ per hour.
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical reasoning into machine-verifiable Lean 4 code.
This role sits at the frontier of formal verification and AI, demanding precision, structure, and an instinct for rigorous argumentation.
You'll work remotely on an hourly contract, with 10–40 hours per week, collaborating with AI researchers to push the limits of proof assistants and develop reusable, readable formalizations.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer for AI-Ready Math 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.
