Design assistants job offers in auckland
1-19 of 19 jobs
- Auckland 19
- Auckland 19
- Researcher 5
- Assistant To Senior Executive 4
- Engineer 4
- Scientist 2
- Engineering Manager 1
- Product Manager 1
- airways new zealand 4
- reserve bank new zealand 2
- Apprenticeship
- Contractor
- Graduate
- Permanent
- Temporary
- Volunteer
- Full Time
- Part Time
- Today 7
- Within the last 7 days 13
-
Researcher - lean 4 & formal proof systems
Alignerr Auckland, Auckland +5 locations
...proofs in Lean for cutting‐edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
2 days ago in LifeworQReport -
Researcher - Lean 4 & Formal Proof Systems
new Other Auckland, Auckland
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
23 h 22 minutes ago in JobleadsReport -
Lean 4 Proof Engineer - Mathematical Formalization
new Other Auckland, Auckland +1 Location
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
8 h 36 minutes ago in JobleadsReport -
Lean 4 Proof Engineer - Mathematical Formalization
new Alignerr Auckland, Auckland +1 Location
...proofs in Lean for cutting‐edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
1 day ago in LifeworQReport -
Applied Formal Methods Researcher (Lean 4)
Alignerr Auckland, Auckland +1 Location
...proofs, identifying gaps, hidden assumptions, and formalizable sub‐structures. Construct formalizations that test the limits of existing proof assistants...
4 days ago in LifeworQReport -
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr Auckland, Auckland +4 locations
...proofs, identifying gaps, hidden assumptions, and formalizable sub‑structures. Construct formalizations that test the limits of existing proof assistants...
4 days ago in WhatjobsReport -
Formal verification scientist (lean 4 & mathlib)
new Alignerr Auckland, Auckland +5 locations
...proofs, identifying gaps, hidden assumptions, and formalizable sub‐structures. Construct formalizations that test the limits of existing proof assistants...
1 day ago in LifeworQReport -
Ml & agentic solutions engineer
Provoke Solutions Auckland, Auckland
...design teams to create human centred solutionsYou communicate clearly and enjoy explaining technical ideas to non-technical audiencesYou're curious, open...
2 days ago in LifeworQReport -
Product Manager - Family Experience
Other Auckland, Auckland
...assistants to work smarter—discovery, synthesis, PRDs, experiments, decisions. Track what matters: engagement, retention, adoption, satisfaction, support...
30+ days ago in JobleadsReport -
Platform lead – agentic ai (low code)
Reserve Bank of New Zealand Auckland, Auckland +1 Location
...design, deploy, and operate AI-powered workflows and conversational or autonomous agents using governed low-code tools. What specific tech skills would be...
2 days ago in LifeworQReport -
Senior executive assistant (to cfo)
new Airways New Zealand Auckland, Auckland
...New Zealand's 30 million squarekms of airspace, providing air traffic control, surveillance, communication, flight inspection, mapping, and airspace design...
1 day ago in LifeworQReport -
Senior Executive Assistant (to CFO)
new Airways New Zealand Auckland, Auckland
...New Zealand's 30 million squarekms of airspace, providing air traffic control, surveillance, communication, flight inspection, mapping, and airspace design...
11 h 57 minutes ago in WhatjobsReport -
Engineering Manager- AI Developer Tooling Workflows (Remote
new Canva Auckland, Auckland
...Manager. AI Developer Tooling Workflows (Remote ANZ) Full-time Recruitment type: Permanent Join the team redefining how the world experiences design...
1 day ago in LifeworQReport -
Senior executive assistant (to cfo and gccs)
Airways New Zealand Auckland, Auckland
...Assistants of deadlines and progress. Finalising Committee and Board minutes and maintaining accurate records in accordance with the Companies Act, of all...
6 days ago in LifeworQReport -
Researcher - Lean 4 & Formal Proof Systems
Alignerr Auckland, Auckland +4 locations
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
11 days ago in WhatjobsReport -
Applied Formal Methods Researcher (Lean 4)
Alignerr Auckland, Auckland +4 locations
...proofs, identifying gaps, hidden assumptions, and formalizable sub‑structures. Construct formalizations that test the limits of existing proof assistants...
11 days ago in WhatjobsReport -
ML & Agentic Solutions Engineer
Provoke Solutions Auckland, Auckland
...design teams to create human centred solutionsYou communicate clearly and enjoy explaining technical ideas to non-technical audiencesYou're curious, open...
11 days ago in WhatjobsReport -
Platform Lead – Agentic AI (Low Code)
Reserve Bank of New Zealand Auckland, Auckland +1 Location
...design, deploy, and operate AI-powered workflows and conversational or autonomous agents using governed low-code tools. What specific tech skills would be...
11 days ago in WhatjobsReport -
Senior Executive Assistant (to CFO and GCCS)
Airways New Zealand Auckland, Auckland
...Assistants of deadlines and progress. Finalising Committee and Board minutes and maintaining accurate records in accordance with the Companies Act, of all...
11 days ago in WhatjobsReport
Receive alerts for this search