Alignerr seeks a Formal Verification Scientist to translate rigorous mathematics into Lean 4 proofs, pushing the boundaries of automated reasoning. The role emphasizes high precision, reproducibility, and deep mathematical insight, with Lean 4 strongly preferred and collaboration with AI researchers.
This fully remote, hourly contract offers flexible commitment of 10–40 hours/week to mathematicians who love structured reasoning and mechanized mathematics.
#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 reasons about formal proofs?
Cambridge
What if your deep mathematical training could directly shape how AI systems understand and reason about formal proof?
Cambridge
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into machine-verifiable knowledge using Lean 4 and related…
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Explore: Laboratory Scientist / Technician jobs in the UK Specialist jobs in Oxford
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.