Lean Proof Architect for Formal Verification

A leading AI-driven firm in the UK is seeking a Mathematical Formalization Specialist. The ideal candidate will have a Master's degree and expertise in Lean, with hands-on experience in formal verification and proof writing. Responsibilities include translating informal proofs into Lean, analyzing proofs, and collaborating with researchers. The position offers an hourly rate of $50 - $150, depending on expertise and experience, in a dynamic environment focused on the future of mechanized mathematics.