Company: Alignerr
Location: City of Edinburgh
Job Description:
Alignerr is seeking a Researcher specialized in Lean 4 and formal proof systems to contribute to cutting-edge AI research. This fully remote contract role allows flexibility in working hours, requiring a commitment of 10–40 hours per week.
The ideal candidate will have a strong mathematical background, be proficient in formal verification, and possess hands-on experience with proof assistants like Lean 4. Join us to shape the future of mechanized mathematics!
#J-18808-Ljbffr…
Posted: July 8th, 2026