Company: Alignerr Corp.
Location: City of Edinburgh
Job Description:
Alignerr Corp. is seeking a Lean 4 Proof Engineer to translate informal arguments into machine-verifiable Lean 4 formalizations. You will work remotely on high-level mathematical proofs, focusing on clarity, structure, and correctness.
The role involves analyzing proofs across domains, constructing formalizations, and collaborating with AI researchers to advance verification pipelines. A strong background in formal methods and proof systems is essential.
#J-18808-Ljbffr…
Posted: October 21st, 2026