Company: Alignerr
Location: City of Edinburgh
Job Description:
Alignerr is seeking a Formal Verification Scientist to shape AI’s understanding of formal proof through advanced mathematical arguments. You’ll work remotely to translate mathematical proofs into Lean 4 formalizations, collaborate with AI researchers, and improve verification pipelines.
The ideal candidate holds a Master’s degree in Mathematics or related fields, has expertise in rigorous proof writing, and is passionate about formal verification. The position offers flexible hours and the potential for ongoing projects.
#J-18808-Ljbffr…
Posted: June 26th, 2026