Company: Alignerr
Location: Glasgow
Job Description:
Alignerr is searching for a Formal Verification Scientist to work on cutting-edge problems in AI and mathematics. This fully remote role involves translating advanced mathematical proofs into machine-verifiable forms, collaborating with AI researchers.
Ideal candidates should have a Master’s degree or higher in a relevant field and experience with proof assistants like Lean. This position allows for flexible scheduling and the opportunity to contribute to impactful research in formal verification.
#J-18808-Ljbffr…
Posted: June 4th, 2026