At a Glance
- Tasks: Translate complex mathematical arguments into formal proofs using Lean 4.
- Company: Alignerr, a leader in AI and mathematics with a remote-first culture.
- Benefits: Flexible working hours, competitive salary, and opportunities for professional growth.
- Other info: Collaborate with researchers on pioneering projects in a dynamic environment.
- Why this job: Make a significant impact in the intersection of AI and advanced mathematics.
- Qualifications: Master's degree in a related field and experience with Lean.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Lean 4 Proof Engineer to translate mathematical arguments into formalizations. This remote role offers flexibility and significant impact in AI and mathematics.
The ideal candidate will have a Master's degree in a related field, experience with Lean, and a passion for formal verification. You'll work on complex proofs, collaborate with researchers, and contribute to pioneering projects intersecting mathematics and AI.
Remote Lean 4 Proof Engineer: Formalize Advanced Math in Birmingham employer: Alignerr
Alignerr is an exceptional employer that champions innovation and flexibility, offering a remote work environment where you can make a significant impact in the fields of AI and mathematics. With a strong focus on employee growth, you'll have opportunities to collaborate with leading researchers and contribute to groundbreaking projects, all while enjoying a supportive work culture that values your expertise and passion for formal verification.
