Lean Proof Architect: Formalize Advanced Math

A leading AI and mathematics firm in Metro Vancouver seeks a Mathematical Formalization Specialist to translate informal proofs into formal, machine-verifiable structures. Candidates should have a Master’s degree in Mathematics and strong experience with proof assistants like Lean. The role involves developing formalizations that extend the capabilities of existing verification tools while collaborating with other researchers. This position is ideal for problem solvers passionate about mechanized mathematics and formal verification. #J-18808-Ljbffr