Lean Formalization Architect

A leading AI solutions company in Metro Vancouver is seeking a Mathematical Formalization Specialist. This role requires translating informal mathematical arguments into precise formal proofs, with a strong emphasis on using Lean. The ideal candidate will have a Master's degree in Mathematics or a related field and hands-on experience with proof assistants. Responsibilities include collaborating on formal verification projects and developing clear, structured formalizations, pushing the boundaries of current capabilities in automated reasoning. #J-18808-Ljbffr