Hybrid Lean 4 Proof Engineer Mathematical Formalization Jobs in Toronto Ontario Canada | FindMeJobs