164 job opportunities for formal methods in Australia updated today
job offers found
· Page 3 / 9About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in formal verification? We're looking for mathematicians and formal methods specialists to formalize advanced proofs in Lean 4 — working at the exact boundary where human mathematica
A cutting-edge AI firm is seeking mathematicians and formal methods specialists for remote roles to formalize mathematical proofs in Lean 4. Candidates should have a Master's degree in relevant fields and strong experience in rigorous proof writing. Specific responsibilities include translating info
A leading AI-focused company is looking for a mathematician to work remotely on formalizing advanced proofs in Lean 4. You will translate informal mathematical proofs into structured formalizations, analyze proofs for hidden assumptions, and collaborate with AI researchers on enhancing verification
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
$34,000 – $54,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
