Alignerr Corp. is seeking a Researcher to translate informal mathematical proofs into Lean 4 proofs for AI training. This remote, hourly contract role invites researchers who enjoy rigor, formal verification, and pushing the boundaries of mechanized mathematics.
You will collaborate with AI researchers, develop readable proof scripts, and help improve verification pipelines, with 10–40 hours per week and flexible schedules. A strong background in mathematics and Lean is highly valued.
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
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…
Oxford
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
London
What if your deep mathematical training could directly shape the future of AI reasoning?
Glasgow
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs — advancing the frontier of…
Oxford
Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training.
Cambridge
What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?
Explore: Specialist jobs in Edinburgh
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.