Remote Lean Formalization Specialist
alignerrMillbrae, CA
$50.00 - $150.00 per hour
APPLYRemote Lean Formalization Specialist
alignerrMillbrae, CASenior L5
$50.00 - $150.00 per hour
MathematiciansMathematical Science Occupations, All OtherMathematical Science Teachers, Postsecondary
Other Management Consulting ServicesCustom Computer Programming ServicesAll Other Professional, Scientific, and Technical Services
APPLY NOWA 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.
Matching similar jobs
Level
Senior L5
Salary
$50.00 - $150.00 per hour
Location
Millbrae, CA
Occupation
Mathematicians
Industry
Other Management Consulting Services
Posted
today