Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into Lean 4 proofs for cutting-edge AI research. This fully remote, hourly contract role suits mathematicians who enjoy rigorous proof construction and collaboration with AI researchers.
You will produce machine-verifiable formalizations, analyze complex proofs, and contribute to expanding formal verification capabilities. Flexible hours and ongoing project work await the right candidate.
#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?
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 Edinburgh
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.