About this opportunity
Alignerr lists this Remote Lean Proof Architect opportunity in workfromhome, Massachusetts. Review the employer’s description below for duties, qualifications and application requirements.
Job description
A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages. The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification. This position offers competitive hourly pay ranging from $50 to $150.
#J-18808-Ljbffr
Worksite address
workfromhome, MA, 02298, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.