Formalization jobs in Boston

A leading AI-focused company is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal proofs using Lean. The ideal candidate will possess a Master's degree in Mathematics or a related field, and have a strong foundation in rigorous proof writing and ve

Basic Information Organization: Alignerr Position: Lean 4 Proof Engineer – Mathematical Formalization Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and han

A leading mathematical verification company is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into formalized structures. The ideal candidate will have a Master's degree in Mathematics or a related field, with strong skills in rigorous proof writing and hands-on experience

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,