Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical reasoning into machine-verifiable Lean code. This remote contract role emphasizes precision, structure, and formal argumentation, spanning collaboration with AI researchers to enhance verification pipelines and test the boundaries of current proof assistants.
You will work on translating proofs, analyzing underlying gaps, and developing readable proof scripts within a flexible, remote schedule, with potential for
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
Glasgow
What if your deep mathematical training could directly shape the future of AI - and help machines understand the most rigorous arguments the human…
London
What if your deep mathematical training could directly shape the future of AI reasoning?
City of Edinburgh
What if your deepest mathematical instincts could directly shape how the next generation of AI understands and reasons about formal proof?
City of Edinburgh
What if your mathematical expertise could directly shape how AI reasons about proofs — pushing the boundary of what machines can understand and…
London
What if your mathematical expertise could directly shape how AI understands and reasons about formal proof?
Oxford
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.