Lean Proof Architect for Formal Verification

A leading AI solutions provider is looking for a Mathematical Formalization Specialist who will focus on translating informal mathematical arguments into formal proofs using Lean. You will analyze and improve proof strategies while collaborating with researchers. Candidates should have a Master's degree in a relevant field and a strong background in proof writing and verification tools. This role offers a pay range of $50 - $150 an hour, reflecting the specialized skills involved.