Alignerr seeks a Researcher to translate dense mathematical proofs into Lean 4, strengthening machine-verifiable reasoning for AI training. You will analyze proofs, identify gaps, and develop formalizations with team collaboration across AI researchers.
Ideal candidates hold a strong math background, Lean experience (3 or 4), and a passion for formal verification and mechanized mathematics in an autonomous, freelance-capable setting.
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
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?
City of Edinburgh
What if your deepest mathematical instincts could directly shape how the next generation of AI understands and reasons about formal proof?
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.