Company: Alignerr
Location: Glasgow
Job Description:
Alignerr is seeking a Researcher in Lean 4 and Formal Proof Systems to advance AI’s understanding of formal proofs. This fully remote role requires a Master’s degree or higher in Mathematics or related fields, along with strong proof writing experience.
The successful candidate will engage in high-impact mathematical research, transforming informal mathematical arguments into structured, machine-verifiable proofs, and collaborating with global researchers in the field.
#J-18808-Ljbffr…
Posted: June 15th, 2026