Hybrid Lean 4 Proof Engineer Mathematical Formalization Jobs in Vancouver British Columbia Canada | FindMeJobs