Alignerr is seeking a Formal Verification Scientist to translate complex mathematical arguments into Lean 4 formalizations for AI research. The role is remote, hourly, and part of a freelance engagement with 10–40 hours per week.
You will develop machine-verifiable proofs, analyze proofs for gaps, and test proof assistants’ limits. Prior experience with Lean/Coq/Isabelle/HOL or Agda is highly valued, with a strong mathematical background and independent work ability.
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
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?
Oxford
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs?
Oxford
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs?
Glasgow
What if your deepest mathematical knowledge could directly shape how AI reasons about truth, proof, and logic?
London
What if your deep mathematical training could directly shape the future of AI reasoning?
Explore: Laboratory Scientist / Technician jobs in London Laboratory Scientist / Technician jobs in the UK Specialist jobs in London
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.