Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training. You will translate complex mathematical arguments into precise Lean formalizations, push the boundaries of what proof assistants can express, and collaborate with AI researchers on verification pipelines.
This fully remote, hourly contract role offers flexible hours (10–40 per week) and the opportunity to contribute to cutting-edge mechanized mathematics while expanding your expertise in Lean 4, type
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
Oxford
Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training.
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Oxford
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs?
Explore: Specialist jobs in Oxford
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.