At a Glance
- Tasks: Conduct high-impact research in Lean 4 and formal proofs to advance AI understanding.
- Company: Join Alignerr, a leader in AI and formal proof systems.
- Benefits: Fully remote work, flexible hours, and opportunities for collaboration with global experts.
- Other info: Engage in cutting-edge research with excellent career growth potential.
- Why this job: Make a real impact in AI by transforming informal arguments into machine-verifiable proofs.
- Qualifications: Master’s degree in Mathematics or related fields and strong proof writing skills.
The predicted salary is between 50000 - 70000 £ per year.
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.
Remote Lean 4 Researcher: Formal Proofs in Glasgow employer: Alignerr
Alignerr is an exceptional employer that fosters a collaborative and innovative work culture, allowing researchers to engage in high-impact mathematical research from the comfort of their own homes. With a focus on employee growth, Alignerr offers opportunities for professional development and collaboration with leading experts in the field, making it an ideal place for those passionate about advancing AI through formal proofs.
