Company: Alignerr Corp.
Location: City of Edinburgh
Job Description:
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…
Posted: October 11th, 2026