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 Masters 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
Job Title
Lean Proof Architect: Formalize Advanced Math