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...
Overview LIFELENZ is a rapidly growing team of 80+ mathematicians, engineers, designers, computer scientists, strategists and client success experts based in the U.S., Canada, Australia, and UK building a machine learning-based, advanced analytics workforce and human capital management platform. We have built and maintained over 20+ platforms over a 19-year period. We have won many awards for...
Mining Consultant (Adelaide) Opportunity for a Mining Engineer with underground expertise in Adelaide. 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 - Work...
Lean 4 Proof Engineer - Mathematical Formalization Alignerr, Adelaide, South Australia, Australia Remote position | Hourly Contract | 10–40 hours/week | $70–$150 /hour About the Job At Alignerr, we partner 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...
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...
Mining Consultant (Adelaide) Opportunity for a Mining Engineer with underground expertise in Adelaide. 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 - Work...
Overview LIFELENZ is a rapidly growing team of 80+ mathematicians, engineers, designers, computer scientists, strategists and client success experts based in the U.S., Canada, Australia, and UK building a machine learning-based, advanced analytics workforce and human capital management platform. We have built and maintained over 20+ platforms over a 19-year period. We have won many awards for...
Applied Formal Methods Researcher (Lean 4) Alignerr – Adelaide, South Australia, Australia 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 About the job At Alignerr, we partner with the world’s leading AI research...
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...
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...
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...
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...
Formal Verification Scientist (Lean 4 & Mathlib) Organization: Alignerr Location: Remote Employment type: Hourly Contract Compensation: $70–$150 /hour Commitment: 10–40 hours/week 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...
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...
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...