At a Glance
- Tasks: Translate complex mathematical arguments into machine-verifiable proofs while collaborating with AI researchers.
- Company: Join Alignerr, a leader in AI research and formal verification.
- Benefits: Enjoy a fully remote role with flexible hours and opportunities for professional growth.
- Other info: Be part of a team pushing the boundaries of AI and formal methods.
- Why this job: Contribute to groundbreaking AI projects and enhance verification processes in a dynamic environment.
- Qualifications: Master's degree in Mathematics and experience with rigorous proof writing and Lean 4.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Lean 4 Proof Engineer to translate mathematical arguments into machine-verifiable proofs.
In this fully remote role, you will analyze and formalize proofs, collaborating with AI researchers to enhance verification processes.
The ideal candidate holds a Master's or higher in Mathematics, with strong experience in rigorous proof writing and formal proof systems such as Lean 4.
Join us to tackle cutting-edge AI research projects flexibly.
#J-18808-Ljbffr
We think you need these skills to ace Remote Lean 4 Proof Engineer for Mathematical Formalization in London
Mathematical Proof Writing
Formal Proof Systems
Lean 4
Analytical Skills
Collaboration
AI Research
Verification Processes
