- Remote
- Contract
... your deep mathematical training could directly shape how AI reasons, proves, and understands the structures underlying all of mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — pushing the boundaries of what automated reasoning can express, verify, and ...
Perth, Australia