mathematician jobs in Tasmania

Mathematician with Python - Freelance AI Trainer 3 days ago Be among the first 25 applicants 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...

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

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

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

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

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

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

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

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

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

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

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

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