Lean 4 Proof Engineer: Advanced Mathematical Formalization

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...

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 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...

Researcher – Lean 4 & Formal Proof Systems Join to apply for the Researcher – Lean 4 & Formal Proof Systems role at Alignerr. Base pay range $70.00/hr – $150.00/hr Location Remote Employment type Hourly Contract (10‑40 h/week) Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience...

A leader in AI validation based in Toronto is seeking a Mathematical Formalization Specialist. This role involves translating informal mathematical proofs into formal systems like Lean and working on advanced proof construction. Ideal candidates will have a Master's degree in a related field and expertise in rigorous proof writing. Competitive pay ranging...

A leader in AI validation based in Toronto is seeking a Mathematical Formalization Specialist. This role involves translating informal mathematical proofs into formal systems like Lean and working on advanced proof construction. Ideal candidates will have a Master's degree in a related field and expertise in rigorous proof writing. Competitive pay ranging...

A leader in AI validation based in Toronto is seeking a Mathematical Formalization Specialist. This role involves translating informal mathematical proofs into formal systems like Lean and working on advanced proof construction. Ideal candidates will have a Master's degree in a related field and expertise in rigorous proof writing. Competitive pay ranging...

A leader in AI validation based in Toronto is seeking a Mathematical Formalization Specialist. This role involves translating informal mathematical proofs into formal systems like Lean and working on advanced proof construction. Ideal candidates will have a Master's degree in a related field and expertise in rigorous proof writing. Competitive pay ranging...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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, formalization, and high-integrity dataset creation. Role...