740 job opportunities for methods in Australia updated today
job offers found
· Page 5 / 37A leading AI research firm is seeking Applied Formal Methods Researchers to translate deep mathematical expertise into machine-verifiable Lean 4 proofs. This fully remote role requires a Master's degree or higher in Mathematics or a related field. Responsibilities include analyzing proofs, developin
About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in formal verification? We’re looking for mathematicians and formal methods specialists to formalize advanced proofs in Lean 4 — working at the exact boundary where human mathematica
A Catholic educational institution in Innisfail is seeking a Teacher for Senior Physics and Math Methods, starting in Semester 2, 2026. This full-time, permanent role offers competitive salary ranging from $86,600 to $147,048 annually, with relocation assistance available. Key responsibilities inclu
About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in formal verification? We're looking for mathematicians and formal methods specialists to formalize advanced proofs in Lean 4 — working at the exact boundary where human mathematica
About The Role What if your deep mathematical training could directly shape how AI understands and constructs formal proofs? We're looking for mathematicians with hands‑on experience in formal verification to work at one of the most exciting intersections in modern AI research — mechanized mathemati
A leading education provider seeks passionate Maths Methods and Specialist Maths Tutors to inspire students. This role emphasizes delivering structured lessons, mentoring, and fostering student engagement. Candidates should have a high ATAR score in relevant subjects, exceptional communication skill
A leading market research agency in Sydney is seeking an Associate Director to lead mixed-method research projects and mentor junior team members. The ideal candidate will have 7–8 years of experience in a consulting role with strong skills in both qualitative and quantitative research. This full-ti
About The Role What if your deep mathematical training could directly shape how AI understands and constructs formal proofs? We're looking for mathematicians with hands-on experience in formal verification to work at one of the most exciting intersections in modern AI research — mechanized mathemati
Carewell Healthcare Pty Ltd is committed to improving organisational performance and service delivery within the healthcare sector. We work closely with organisations to enhance efficiency, streamline systems, and resolve operational challenges through practical and sustainable solutions. Role Overv
About The Role What if your deep mathematical training could directly shape how AI understands and constructs formal proofs? We're looking for mathematicians with hands-on experience in formal verification to work at one of the most exciting intersections in modern AI research — mechanized mathemati
A higher education institution in Perth is seeking a University Lecturer to design and deliver English language courses and to assess student progress. Responsibilities include developing curriculum in collaboration with academic teams and supporting student/teacher relationships. A doctoral qualifi
A higher education institution in Perth is seeking a University Lecturer to design and deliver English language courses and to assess student progress. Responsibilities include developing curriculum in collaboration with academic teams and supporting student/teacher relationships. A doctoral qualifi
A higher education institution in Perth is seeking a University Lecturer to design and deliver English language courses and to assess student progress. Responsibilities include developing curriculum in collaboration with academic teams and supporting student/teacher relationships. A doctoral qualifi
A higher education institution in Perth is seeking a University Lecturer to design and deliver English language courses and to assess student progress. Responsibilities include developing curriculum in collaboration with academic teams and supporting student/teacher relationships. A doctoral qualifi
A leading educational institution in Victoria is seeking a passionate Secondary Maths Teacher to inspire students and enhance their understanding of Mathematics. The role requires the ability to teach across secondary years and a strong commitment to Christian education. Ideal candidates will have e
A higher education institution in Perth is seeking a University Lecturer to design and deliver English language courses and to assess student progress. Responsibilities include developing curriculum in collaboration with academic teams and supporting student/teacher relationships. A doctoral qualifi
A leading AI research firm seeks Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role values mathematicians passionate about precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and cons
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 frontier where formal ver
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 frontier where formal ver
A leading AI-focused company is looking for a mathematician to work remotely on formalizing advanced proofs in Lean 4. You will translate informal mathematical proofs into structured formalizations, analyze proofs for hidden assumptions, and collaborate with AI researchers on enhancing verification
$34,000 – $54,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
