About this opportunity
Alignerr lists this Remote Lean Formalization Specialist opportunity in san francisco, California. Review the employer’s description below for duties, qualifications and application requirements.
Job description
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.
#J-18808-Ljbffr
Worksite address
san francisco, CA, 94199, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.