Average salary: $78,032 /yearly
More statsGet new jobs by email
- ...Corporate memberships, and ~ free staff counselling (here if you need!) This is a great opportunity for Teachers of Middle School Maths to join the dedicated staff team at Trinity College . The successful applicants will have a sound knowledge of secondary schooling...Suggested
- Researcher — Lean 4 & Formal Proof 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...SuggestedContract workFreelanceRemote jobFlexible hours
- About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and thinks? We're looking for Applied Formal Methods Researchers to translate rigorous human-written mathematics into machine-verifiable Lean 4 proofs — working at the exact...SuggestedContract workFreelanceRemote jobFlexible hours
- Physics Masters – AI Training Specialist About The Role We're looking for physics experts to help train and evaluate cutting-edge AI models used by the world's leading research labs. Your ability to reason through complex problems is exactly what's needed to push the boundaries...SuggestedContract workFreelanceRemote jobFlexible hours
- About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — pushing...SuggestedContract workFreelanceRemote jobFlexible hours
$103,908
~ An office unlike any other ~ Full time, fixed term role from July 2026 – mid January 2028 ~$103,908 + 12% superannuation About the Opportunity As part of the Adelaide Economic Development Agency (AEDA), the Economic Research & Data Scientist role delivers advanced...SuggestedFull timeFixed term contractWork at office$60,000 - $80,000
Use statistical, mathematical and analytical techniques to help organisations understand uncertainty and make better decisions. Our teams work across insurance, superannuation, risk modelling, financial services, data analytics, and broader consulting projects helping clients...SuggestedFull timeWork at officeOnline