Researcher Lean 4 Formal Proof Systems Jobs in Sheffield Tx 2026 | FindMeJobs