Job Description
Alignerr is seeking a Researcher specializing in Lean 4 and formal proof systems to transform complex mathematical arguments into machine-verifiable proofs. You will work with AI researchers in a fully remote setup, tackling intricate problems in formal verification.
The ideal candidate will hold a Master's degree in Mathematics or a related field and have hands-on experience with Lean. This role offers freelancers the flexibility to work independently while contributing to meaningful AI research.
#J-18808-LjbffrReady to Apply?
Submit your application today and join our talented team at Alignerr.
Submit ApplicationJob Details
- Location birmingham, england
- Job Type Full-time
- Category IT & Technology, Engineering
- Posted Date June 08, 2026
- Application Deadline July 18, 2026