18 formal methods opportunities in Sydney updated today
job offers found
About The Role What if your deep mathematical training could directly shape how AI understands and constructs formal proofs? We're looking for mathematicians with hands-on experience in formal verification to work at one of the most exciting intersections in modern AI research — mechanized mathemati
About The Role What if your deep mathematical training could directly shape how AI understands and constructs formal proofs? We're looking for mathematicians with hands-on experience in formal verification to work at one of the most exciting intersections in modern AI research — mechanized mathemati
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
Overview 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
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
Location: 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. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrA 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
AlignerrA 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
AlignerrLocation: 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. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
A 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 cutting-edge AI research firm is seeking an Applied Formal Methods Researcher (Lean 4) to work remotely. This role is ideal for mathematicians with deep expertise in proof construction and experience with formal proof languages. Responsibilities include translating informal mathematical proofs int
AlignerrA 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
AlignerrA leading AI research partner seeks an Applied Formal Methods Researcher to work remotely. The ideal candidate will translate informal mathematical proofs into formal proofs using Lean, focusing on clarity and correctness. A Master's degree in Mathematics, Logic, or a related field is essential, alo
AlignerrA leading AI research partner seeks an Applied Formal Methods Researcher to work remotely. The ideal candidate will translate informal mathematical proofs into formal proofs using Lean, focusing on clarity and correctness. A Master's degree in Mathematics, Logic, or a related field is essential, alo
Location: 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. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrLocation: 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. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
*About Us:** Postify is a dynamic and innovative logistics company focusing on enhancing organisational efficiency and fostering growth. At Postify, we value creativity, continuous improvement, and collaboration. *About the Role:** As an Organisation and Methods Analyst, you will play a crucial role
Austral Alloys Australia Pty LtdFoundry Methods Engineer / Beforecast Manager Austral Alloys Australia is a leading Australian ferrous foundry delivering high-quality castings across mining, water, rail, defence, and general manufacturing industries. With a strong focus on quality, innovation, and continuous improvement, we are lo
Endeavour EnergyEnergy is changing fast—and so are we. There’s never been a bigger opportunity to build a cleaner future with Endeavour Energy. More than 2.7 million people across New South Wales count on us every day for safe, reliable—and increasingly sustainable—power. With 1,700 employees across our network, we
As a Wide Format Print & Production Specialist in our company, you’ll be responsible for overseeing the day-to-day Graphics operations and tasks. This includes operating & maintaining production equipment to achieve daily stock building goals & customer orders according to the workflow s
Overview Work for a global FMCG company with some of the world’s most trusted and iconic brands. Be part of an exciting business where employees are recognised and career growth is supported. At PepsiCo, you can Dare for Better. You can help build a world where there are more possibilities for more
Overview Work for a global FMCG company with some of the world’s most trusted and iconic brands. Be part of an exciting business where employees are recognised and career growth is supported. At PepsiCo, you can Dare for Better. You can help build a world where there are more possibilities for more
$34,000 – $54,000/year
Estimation confidence: Low
Estimate based on market data for Sydney. 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 Sydney