8 mathematical researcher job offers in region of Auckland
1-8 of 8 jobs
- Clinical Research 169
- Environment Specialist 1,077
- Mathematical Researcher
- Pharmaceutical 115
- Product Analyst 115
- Product Development Engineer 27
- Quality Assurance 22
- Research Analyst 101
- Research & Development Manager 96
- Research Manager 177
- Scientist 42
- Auckland 9
- Apprenticeship
- Contractor
- Graduate
- Permanent
- Temporary
- Volunteer
- Full Time
- Part Time
- Today 0
- Within the last 7 days 7
-
Remote Lean 4 Formal Methods Researcher
new Alignerr Auckland, Auckland +3 locations
A cutting-edge AI research partner is seeking an Applied Formal Methods Researcher (Lean 4) to translate informal mathematical proofs into precise...
1 day ago in WhatjobsReport -
Applied Formal Methods Researcher (Lean 4)
new Alignerr Auckland, Auckland +3 locations
...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...
1 day ago in WhatjobsReport -
Remote Lean 4 Researcher — Formal Proof Systems
Alignerr Auckland, Auckland +3 locations
A leading AI research partner is seeking a Researcher specializing in Lean 4 & Formal Proof Systems. This remote position requires a Master's degree in a...
5 days ago in WhatjobsReport -
Remote Lean 4 Researcher — Formal Proof Systems
Alignerr Auckland, Auckland +3 locations
A technology research company is seeking a Researcher specializing in Lean and formal proof systems to collaborate on cutting-edge AI projects. The ideal...
5 days ago in WhatjobsReport -
Remote Lean 4 Researcher — Formal Proof Systems
Alignerr Auckland, Auckland
A leading AI research partner is seeking a Researcher specializing in Lean 4 & Formal Proof Systems. This remote position requires a Master's degree in a...
7 days ago in LifeworQReport -
Researcher - Lean 4 & Formal Proof Systems
Alignerr Auckland, Auckland
...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...
6 days ago in LifeworQReport -
Researcher - Lean 4 & Formal Proof Systems
Alignerr Auckland, Auckland +3 locations
...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...
5 days ago in WhatjobsReport -
Lean 4 formal methods researcher - remote
Alignerr Auckland, Auckland +2 locations
A pioneering mathematics organization is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into machine-verifiable...
8 days ago in LifeworQReport
Receive alerts for this search