- Remote
- Contract
... Systems (AI Training) About The Role What if your mathematical expertise could directly shape how AI reasons about formal proofs — pushing the boundary of what machines can understand and verify? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable ...
Adelaide, Australia