At a Glance
- Tasks: Translate complex formal proofs into Lean 4 for advanced AI research.
- Company: Alignerr, a leader in AI and formal mathematics.
- Benefits: Freelance autonomy, remote work, and collaboration with top AI researchers.
- Other info: Join a dynamic team at the forefront of mathematical innovation.
- Why this job: Shape the future of AI through rigorous mathematics and formal verification.
- Qualifications: Master’s degree and experience with proof assistants required.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Lean 4 Proof Engineer — Mathematical Formalization to help shape AI through rigorous mathematics. This remote role involves translating complex formal proofs into Lean 4 for advanced AI research.
The ideal candidate will possess a Master’s degree, experience with various proof assistants, and a deep interest in formal verification. You will work on the cutting edge of formal mathematics while enjoying freelance autonomy and the chance to collaborate with AI researchers.
Remote Lean 4 Proof Engineer — Formalization for AI in Oxford employer: Alignerr
Alignerr is an exceptional employer that offers a unique opportunity to work at the forefront of AI research while enjoying the flexibility of a remote role. With a strong emphasis on collaboration and innovation, employees are encouraged to grow their skills in formal verification and mathematical formalization, all within a supportive and dynamic work culture. The company values autonomy and provides ample opportunities for professional development, making it an ideal place for those seeking meaningful and rewarding employment.
