18 formal methods opportunities in Melbourne updated today
job offers found
A leading AI research firm seeks Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role values mathematicians passionate about precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and cons
Overview What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the world\'s hardest problems? We\'re looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the frontier of mechanized mathematics
A leading AI research firm seeks Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role values mathematicians passionate about precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and cons
Overview What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the world\'s hardest problems? We\'re looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the frontier of mechanized mathematics
A leading AI research firm seeks Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role values mathematicians passionate about precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and cons
A leading AI research firm seeks Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role values mathematicians passionate about precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and cons
AlignerrOverview Location: Remote 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 for mathematicians passionate about formal verification and pu
A leading AI research collaboration is looking for an Applied Formal Methods Researcher (Lean 4) to formalize mathematical proofs for innovative AI models. This remote role demands a master's degree in mathematics or a related discipline and proficiency in proof systems like Lean. Candidates should
A leading AI research collaboration is looking for an Applied Formal Methods Researcher (Lean 4) to formalize mathematical proofs for innovative AI models. This remote role demands a master's degree in mathematics or a related discipline and proficiency in proof systems like Lean. Candidates should
A leading AI research collaboration is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean 4. This role is remote and requires advanced skills in rigorous proof writing and a Master's degree in a related field. Ideal candidates
A leading AI research collaboration is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean 4. This role is remote and requires advanced skills in rigorous proof writing and a Master's degree in a related field. Ideal candidates
A leading AI research collaboration is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean 4. This role is remote and requires advanced skills in rigorous proof writing and a Master's degree in a related field. Ideal candidates
Alignerr: Remote 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. Organization Alignerr Position Applied Formal Methods Researcher (Lean 4) Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment ***** h
AlignerrA leading AI research firm seeks an Applied Formal Methods Researcher to work on translating informal mathematical arguments into machine-verifiable formalizations using Lean. Ideal candidates will have a master's degree in a relevant field and experience with proof assistants. Responsibilities incl
Alignerr: Remote 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. Organization Alignerr Position Applied Formal Methods Researcher (Lean 4) Type Hourly Contract Compensation $70–$150 /hour Location Remote Commitment ***** h
AlignerrA leading AI research firm seeks an Applied Formal Methods Researcher to work on translating informal mathematical arguments into machine-verifiable formalizations using Lean. Ideal candidates will have a master's degree in a relevant field and experience with proof assistants. Responsibilities incl
AlignerrA leading AI research firm seeks an Applied Formal Methods Researcher to work on translating informal mathematical arguments into machine-verifiable formalizations using Lean. Ideal candidates will have a master's degree in a relevant field and experience with proof assistants. Responsibilities incl
A global AI partnership company seeks an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean. The ideal candidate has a Master's degree or higher in Mathematics and experience with formal proof languages. Responsibilities include translating proofs, analyzing formal m
Agrifood Technology is one of Australia's major independent analytical laboratories. Established in 1989 and based at Werribee, VIC and Bibra Lake, WA - Agrifood Technology is well renowned for the provision of fast and accurate analysis to both domestic and international customers. We are seeking a
Slimline WarehouseAbout Slimline Warehouse For over 25 years, Slimline Warehouse has been a trusted provider of display solutions to businesses across Australia. We deliver high-quality products that enhance brand visibility, with print offered as a seamless add-on service to complete the display solution. We operate
*Preface** We are Ascent Academia: a tutoring business specialising in mathematics and science. Currently, we're looking for enthusiastic tutors to join our team in 2027 to help us deliver high quality tuition to students in Victoria. *About the role** We are primarily offering a teaching/coaching r
*Signage / Print - Large Format Finisher** Ink on Paper (IOP) Location: Melbourne, VIC Employment Type: Full Time *About Us** Ink on Paper (IOP) is a national provider of print, signage and branding solutions delivering projects across retail, commercial and government sectors. We specialise in larg
Insight Tutors is hiring one female tutor to run weekly 1:1 English sessions with: Grade 4–6 students Year 7–10 students Year 11/12 students studying VCE English (English, Literature, or English Language Experience across multiple year levels is highly regarded. Important: DO NOT APPLY IF YOU DON’T
T *he Role:** We’re seeking an enthusiastic, detail-oriented operator to run our print program, VersaCAMM printer and manage substrate preparation and finishing. The role requires confidently cropping, resizing, and exporting images to the correct physical dimensions, resolution, and file formats fo
$34,000 – $54,000/year
Estimation confidence: Low
Estimate based on market data for Melbourne. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for formal methods jobs in other cities in Australia
Explore other job opportunities in Melbourne