Job Description
A leading AI-focused company in Los Angeles is seeking a skilled Mathematical Formalization Specialist to translate human-written mathematical arguments into precise formalizations using Lean.
The ideal candidate should possess:
• A Master's degree in a relevant field.
• Strong proof writing abilities.
• Enthusiasm for formal verification.
This role offers a competitive salary and opportunities for professional growth.
