Job Description
Alignerr is seeking a Researcher specializing in Lean 4 and formal proof systems, focusing on AI training to enhance mathematical proofs into machine-verifiable formats. This fully remote and flexible role values deep mathematical expertise, encouraging candidates to transform complex arguments into structured proofs.
Ideal applicants hold a Master’s degree in Mathematics or a related field, possess strong skills in formal verification, and are enthusiastic about the future of mechanized mathematics.
#J-18808-LjbffrReady to Apply?
Submit your application today and join our talented team at Alignerr.
Submit ApplicationJob Details
- Location manchester, england
- Job Type Full-time
- Category IT & Technology
- Posted Date June 20, 2026
- Application Deadline July 30, 2026