Remote Research Assistant: Speech Perceptual Analysis

About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the structures underlying all of mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — pushing the boundaries of what automated reasoning can express, verify, and learn...

## Research Fellow – Clinical Diagnostic Translation ResearchApply: Parkville: Full time: Posted Today: End Date: October 9, 2026 (13 days left to apply): JR-018362**Role type:** Full Time, Fixed Term for 12 months **Faculty:** Medicine, Dentistry & Health Sciences **Department/ School:**Department of Infectious Diseases **Salary:** Level A -...

Researcher — Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at the precise boundary where...

Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification experts to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at the cutting edge of what...

- Employment Type: Remote (Part-Time/Contract) - Location: Remote within one of the following countries: United States, United Kingdom, Canada, Ireland, Australia, or New Zealand. - Compensation: Estimated range: USD 5,000–8,000 per month, depending on location, experience, scope of responsibilities, and performance expectations for a full-time...

Strategic Growth Officer - Remote | Part-Time Capability Support Services - Brisbane QLDStrategic Growth Officer - Remote | Part-Time Capability Support Services (CSS) Location: Remote - Work From Home (Australia-wide)Employment Type: Part-Time | 20 Hours Per WeekWorking Hours: 4 Days Per Week | 5 Hours Per DayIndustry: NDIS | Allied Health | Disability...

Role: Executive Assistant to the Managing Director Real Estate Sales, Property Management, Advertising, Client Relations & SOP DevelopmentLocation: RemoteCompany: All Residential Real EstateEmployment: Full-time, 40 hours per weekHours: MondayFriday, 9 am5 pm Sydney time (AEST/AEDT)ABOUT USWe are a Wollongong-based real estate agency providing residential...

Digital Marketing Specialist - Immediate startDealer Studio is not your typical automotive tech company. We're building and scaling eCommerce and digital solutions for some of Australia's largest dealership groups and manufacturers and we're doing it differently. Faster. Smarter. We're in a genuine growth phase and we're assembling a high-calibre team to...

About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate complex, human-written mathematics into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. This...