mathematician jobs in Brisbane, QLD

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...

Opportunity for a Mining Engineer with underground expertise in Brisbane Mining Consultant (Brisbane) Opportunity for a Mining Engineer with underground expertise in Brisbane At Deswik, we’re not just building software, we’re transforming how mines operate worldwide. Our software is used all day, every day in over 1330 operations globally. We solve complex technical mine planning problems in...

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 73 million patient visits. Today, more than two million patient visits each week are powered by Heidi...

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...

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...

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...

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...

LocationAustralia - Sydney/Melbourne/remoteEmployment TypeFull timeLocation TypeRemoteDepartmentEngineeringWho are 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...

Who are 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 73 million patient visits. Today, more than two million patient visits each week are powered...

We are recruiting a Mathematics Expert (PhD) for Mercor, a top AI research collaboration, based in Sydney, NSW, Australia. The role is fully remote and part-time (approximately 20 hours per week), with the possibility to extend to 40 hours. Key Responsibilities Create and assess complex problems in mathematics across various subdomains such as algebra, calculus, probability, statistics,...

Mining Consultant - Operations Apply your underground operational experience with industry leading software. At Deswik, we’re not just building software we’re transforming how mines operate worldwide. Our software is used all day, every day in over 1330 operations globally. We solve complex technical mine planning problems in ways that deliver huge value to our customers. What you’ll do This...

Location Australia - Sydney/Melbourne/remote Employment Type Full time Location Type Remote Department Engineering Who are 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...

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...

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...

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...

Join to apply for the Customer Success Associate role at 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 73 million patient visits. Today, more...

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...

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...

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...