Alignerr is seeking Applied Formal Methods Researchers to formalise advanced mathematics in Lean 4, at the boundary of human reasoning and machine verifiability. This remote hourly contract is built for mathematicians who enjoy turning dense arguments into machine-checkable proofs.
Work remotely 10–40 hours per week, collaborate with researchers to improve verification pipelines, and produce readable proof scripts aligned with proof assistant idioms.
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Oxford
What if your deep mathematical training could directly shape how AI understands and constructs formal proofs?
Glasgow
What if your mathematical expertise could directly shape how AI reasons about the hardest problems in mathematics?
City of Edinburgh
What if your mathematical expertise could directly shape how AI reasons about proofs — pushing the boundary of what machines can understand and…
City of Edinburgh
What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof?
Explore: Specialist jobs in Edinburgh
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.