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

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

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