Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape the future of AI reasoning?
Remote Sciences (AI) Jobs in New Zealand 2026
206 remote jobs open to candidates in New Zealand in Sciences (AI). Updated daily.
What if your deep knowledge of formal proof and mathematical rigor could directly shape how AI reasons about mathematics? We're looking for Lean 4 experts to translate rigorous mathematical content into machine-verified formal proofs — working at the cutting edge of AI…
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic?
What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world?
What if your deep knowledge of mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Researchers to help train and improve cutting-edge AI models — designing rigorous problems, evaluating solutions, and pushing…
What if your expertise in mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Specialists with advanced degrees to help train and evaluate cutting-edge AI models — crafting rigorous problems, stress-testing AI…
What if your years of chemistry expertise could directly shape how AI reasons through the most complex scientific problems in the world?
What if your years of chemistry expertise could directly shape how AI reasons through the most complex scientific problems in the world?
What if your deep expertise in materials science could directly shape how AI reasons about semiconductors, molecular structures, and the physical world?
What if your deep expertise in semiconductor materials or molecular modeling could directly shape how AI reasons about the physical world?
What if your years of graduate-level biology training could directly shape how AI understands genetics, biotechnology, and the life sciences?
What if your years of biology expertise could directly shape how AI understands genetics, biotechnology, and the life sciences — influencing the next generation of scientific AI for researchers worldwide?
What if your years of biology expertise could directly shape how AI reasons through the most complex problems in genetics, biotechnology, and bioinformatics?
What if your deep expertise in climate modeling, ecology, or sustainability could directly shape how AI understands the planet's most pressing challenges?
What if your expertise in climate science could directly shape how AI understands one of the most critical challenges facing our planet?
What if your years of graduate-level training in atmospheric science could directly shape how AI understands our planet's most complex systems — from climate dynamics to ecological tipping points?
What if your years of advanced mathematical training could directly shape how AI reasons, solves problems, and thinks — for millions of people around the world?
What if your years of biology training could directly shape how AI understands and reasons about life sciences — from cellular mechanisms to complex biochemical pathways?
What if your years of chemistry expertise could directly shape how AI reasons through complex scientific problems — from undergraduate fundamentals to PhD-level research?
What if your deep expertise in physics could directly shape how AI reasons through the hardest problems in science? We're looking for Physics Experts to challenge, evaluate, and improve the world's most advanced AI models — ensuring they can think rigorously through mechanics,…
We're partnering with the world's leading AI research teams to build smarter, more technically rigorous AI models — and we need environmental engineers to help get it right.
What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for skilled mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs —…
What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics?
We're looking for experienced forestry and land management scientists to help shape the next generation of AI. Your field expertise will directly influence how AI systems understand, reason about, and communicate sustainable forestry and land-use practices — making a real-world…