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 →
Oxford
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
Oxford
Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training.
Glasgow
What if your mathematical expertise could directly shape how AI reasons about the hardest problems in mathematics?
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 how AI reasons about proofs — and push the boundaries of what machines can verify?
City of Edinburgh
What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof?
Explore: Specialist jobs in Cambridge
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.