Remote Lean Proof Architect

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

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

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

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 technology company specializing in AI workflows is seeking a Mathematical Formalization Specialist to translate informal proofs into formalized systems like Lean. Ideal candidates will have a Master's degree or higher in Mathematics or related fields, experience with proof writing, and a passion for formal verification. This role involves collaboration on...

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