mathematician jobs in Canberra, ACT

This opportunity is only for candidates currently residing in the specified country. Your location may affect eligibility and rates. Please submit your resume in English and indicate your level of English. At Mindrift, innovation meets opportunity. We believe in using the power of collective intelligence to ethically shape the future of AI. What We Do The Mindrift platform connects specialists...

Lean 4 Proof Engineer - Mathematical Formalization 3 days ago Be among the first 25 applicants This range is provided by Alignerr. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more. Base pay range $70.00/hr - $150.00/hr - Remote About The Job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train...

Location Sydney Employment Type Full time Location Type Remote Department Marketing Who is Heidi? Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. We exist to double healthcare’s capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over...

Why join Heidi Health? ♂️ Additional paid day off for your birthday and wellness days A generous personal development budget of $500 per annum Learn from some of the best engineers and creatives, joining a diverse team The rare chance to create a global impact as you immerse yourself in one of Australia’s leading healthtech startups If you have an impact quickly, the opportunity to fast...

SC1 Demonstrated knowledge of the relevant curriculum, including the ability to incorporate the teaching of literacy and numeracy skills. Demonstrated experience in responding to student learning needs. SC2 Demonstrated experience in planning for and implementing high impact teaching strategies, guided by how students learn, and evaluating the impact of learning and teaching programs on student...

At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Organization Alignerr Position Applied Formal Methods Researcher (Lean 4) Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment 10–40 hours/week Role Overview We are seeking mathematicians with deep training in rigorous proof construction and...

Why join Heidi Health? - ♂️ Additional paid day off for your birthday and wellness days - A generous personal development budget of $500 per annum - Learn from some of the best engineers and creatives, joining a diverse team - The rare chance to create a global impact as you immerse yourself in one of Australia’s leading healthtech startups - If you have an impact quickly, the opportunity to...

Location Australia - Sydney/Melbourne/remote Employment Type Full time Location Type Remote Department Engineering Why join Heidi Health? 🧘♂️ Additional paid day off for your birthday and wellness days 🎓 A generous personal development budget of $500 per annum 🧠 Learn from some of the best engineers and creatives, joining a diverse team 🌏 The rare chance to create a global impact as...

SC1 Demonstrated knowledge of the relevant curriculum, including the ability to incorporate the teaching of literacy and numeracy skills. Demonstrated experience in responding to student learning needs. SC2 Demonstrated experience in planning for and implementing high impact teaching strategies, guided by how students learn, and evaluating the impact of learning and teaching programs on student...

This opportunity is only for candidates currently residing in the specified country. Your location may affect eligibility and rates. Please submit your resume in English and indicate your level of English. At Mindrift, innovation meets opportunity. We believe in using the power of collective intelligence to ethically shape the future of AI. What We Do The Mindrift platform connects specialists...

Location Sydney Employment Type Full time Location Type Remote Department Marketing Who is Heidi? Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over...

A leading AI organization is seeking a mathematician for a remote role focusing on formal verification. You will translate informal mathematical proofs into Lean, collaborate with researchers, and analyze proofs to identify gaps. A Master’s degree in a relevant field and hands-on experience with Lean or similar systems are essential. This role offers competitive pay, flexibility, and the...

Why join Heidi Health? ♂️ Additional paid day off for your birthday and wellness days A generous personal development budget of $500 per annum Learn from some of the best engineers and creatives, joining a diverse team The rare chance to create a global impact as you immerse yourself in one of Australia’s leading healthtech startups If you have an impact quickly, the opportunity to fast...

Join to apply for the Formal Verification Scientist (Lean 4 & Mathlib) role at Alignerr. Base pay range – $70.00/hr – $150.00/hr Location – Remote Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview We are seeking mathematicians with deep training in...

Location Australia - Sydney/Melbourne/remote Employment Type Full time Location Type Remote Department Engineering Why join Heidi Health? Additional paid day off for your birthday and wellness days A generous personal development budget of $500 per annum Learn from some of the best engineers and creatives, joining a diverse team The rare chance to create a global impact as you immerse...

Why join Heidi Health? Additional paid day off for your birthday and wellness days A generous personal development budget of $500 per annum Learn from some of the best engineers and creatives, joining a diverse team The rare chance to create a global impact as you immerse yourself in one of Australia's leading healthtech startups If you have an impact quickly, the opportunity to fast track...

Researcher - Lean 4 & Formal Proof Systems At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer...

A leading AI organization is seeking a mathematician for a remote role focusing on formal verification. You will translate informal mathematical proofs into Lean, collaborate with researchers, and analyze proofs to identify gaps. A Master's degree in a relevant field and hands-on experience with Lean or similar systems are essential. This role offers competitive pay, flexibility, and the...

Lean 4 Proof Engineer - Mathematical Formalization 3 days ago Be among the first 25 applicants This range is provided by Alignerr. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more. Base pay range $70.00/hr - $150.00/hr - Remote About The Job At Alignerr, we partner with the world's leading AI research teams and labs to build and train...

Applied Formal Methods Researcher (Lean 4) We partner with leading AI research teams to build cutting‐edge models. As an Applied Formal Methods Researcher at Alignerr, you will write and formalize advanced mathematical proofs in Lean to push the limits of formal verification in AI research. Role Overview Seeking mathematicians with deep training in rigorous proof construction, hands‐on...