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...
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...
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...
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...
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...
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,...
Medical Data Evaluator 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...
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...
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...
Overview Location: Remote. Alignerr partners with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants. Responsibilities - Translate informal mathematical...
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...
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 Base pay range: $70.00/hr - $150.00/hr Location: Remote 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 science, focusing on translating human‐written mathematical...
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...