Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs for AI training. This fully remote hourly contract focuses on formal verification at the edge of proof systems, requiring rigorous reasoning and independent work across problems.
Candidates should have a strong math background, experience with Lean/Coq/Isabelle, and a passion for mechanized mathematics. Flexible hours across 10–40 weekly hours are offered.
#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…
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
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
Oxford
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
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 Cambridge
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.