Remote Lean Formalization Expert

A leading formal verification firm in Canada is seeking a Researcher – Lean 4 & Formal Proof Systems to translate informal mathematics into formal proofs. The ideal candidate will have a Master's degree in Mathematics or a related field and experience with Lean or similar systems. This role requires a strong foundation in rigorous proofs and collaboration...

Mathematical Formalization Specialist - Remote 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,...

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A leading technology company is seeking a Lean 4 Proof Engineer to join a team focused on advanced AI research. The role involves translating informal mathematical proofs into structured formalizations using Lean. Ideal candidates possess a Master's degree in mathematics or a related field, strong proof writing skills, and experience with proof assistants....

A leading technology company is seeking a Lean 4 Proof Engineer to join a team focused on advanced AI research. The role involves translating informal mathematical proofs into structured formalizations using Lean. Ideal candidates possess a Master's degree in mathematics or a related field, strong proof writing skills, and experience with proof assistants....

Lean 4 Proof Engineer - Mathematical Formalization Join to apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr. Base pay range $70.00/hr - $150.00/hr Organization: Alignerr Position: Lean 4 Proof Engineer - Mathematical Formalization Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40...

Lean 4 Proof Engineer - Mathematical Formalization Join to apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr. Base pay range $70.00/hr - $150.00/hr Organization: Alignerr Position: Lean 4 Proof Engineer - Mathematical Formalization Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40...

Mathematical Formalization Specialist - Remote Join to apply for the Mathematical Formalization Specialist - Remote role at Alignerr Base pay range $50.00/hr - $150.00/hr Role Overview We are seeking a mathematician with deep training in rigorous proof construction and hands‑on experience with formal proof languages—especially Lean . This role sits at...