Average salary: $146,363 /yearly
More statsGet new jobs by email
- ...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
- ...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
- .... Your ability to reason through complex problems is exactly what's needed to push the boundaries of what AI can do in science and mathematics. This is a fully remote, flexible contract role — work on your own schedule while contributing to some of the most advanced AI systems...SuggestedContract workFreelanceRemote jobFlexible hours
- ...Join Team Trinity! Work in a stunning environment, focusing on student care & learning in your speciality area of middle school mathematics. ~ Come and join a vibrant faculty and school team where supportive and friendly culture are key ~ Attractive remuneration package...Suggested
$103,908
...particularly a combination of Data Science and Economics will be highly regarded. Qualifications in related fields such as Commerce, Mathematics, or equivalent demonstrated experience in lieu of formal qualifications will also be considered. ~ Understanding of economic...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