Lean Proof Architect for Formal Verification

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

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 Mathematics and Computer Science firm is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal verifications using Lean. This remote role requires a Master's degree in a related field and strong experience with proof systems like Lean. Ideal candidates will be passionate about formal verification and have a...

A Mathematics and Computer Science firm is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal verifications using Lean. This remote role requires a Master's degree in a related field and strong experience with proof systems like Lean. Ideal candidates will be passionate about formal verification and have a...

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

Formal Verification Scientist (Lean 4 & Mathlib) Alignerr is seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise,...