Design assistants job offers in wellington
1-13 of 13 jobs
- Wellington 13
- Wellington 13
- Engineer 3
- Researcher 3
- Scientist 2
- Business Manager 1
- Dentist 1
- Operations Manager 1
- reserve bank new zealand 1
- Apprenticeship
- Contractor
- Graduate
- Permanent
- Temporary
- Volunteer
- Full Time
- Part Time
- Today 6
- Within the last 7 days 9
-
Researcher - Lean 4 & Formal Proof Systems
new Other Wellington, Wellington
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
12 h 24 minutes ago in JobleadsReport -
Lean 4 Proof Engineer - Mathematical Formalization
new Alignerr Wellington, Wellington +3 locations
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
16 h 58 minutes ago in WhatjobsReport -
Lean 4 Proof Engineer - Mathematical Formalization
new Other Wellington, Wellington +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...
12 h 17 minutes ago in JobleadsReport -
Lean 4 Proof Engineer - Mathematical Formalization
Alignerr Wellington, Wellington +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...
7 days ago in LifeworQReport -
Researcher - Lean 4 & Formal Proof Systems
Alignerr Wellington, Wellington +3 locations
...proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants...
6 days ago in WhatjobsReport -
Dentist
new Other Wellington, Wellington
...week Wellington and Lower Hutt, New Zealand Remuneration: 40% commission Experienced team of friendly and knowledgeable dentists, hygienists, dental assistants...
12 h 18 minutes ago in JobleadsReport -
Applied Formal Methods Researcher (Lean 4)
Alignerr Wellington, Wellington +3 locations
...assistants, and the future of mechanized mathematics. Ability to translate informal arguments into clean, structured formal proofs. Preferred Prior...
2 days ago in WhatjobsReport -
ML & Agentic Solutions Engineer
new Other Wellington, Wellington
...You enjoy working with product, engineering, and design teams to create human centred solutions You communicate clearly and enjoy explaining technical ideas to
12 h 22 minutes ago in JobleadsReport -
Platform Lead – Agentic AI (Low Code)
new Other Wellington, Wellington
...design, deploy, and operate AI-powered workflows and conversational or autonomous agents using governed low-code tools. What specific tech skills would be...
12 h 21 minutes ago in JobleadsReport -
Applied Formal Methods Researcher (Lean 4)
Alignerr Wellington, Wellington
...proofs, identifying gaps, hidden assumptions, and formalizable sub‐structures. Construct formalizations that test the limits of existing proof assistants...
11 days ago in LifeworQReport -
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr Wellington, Wellington +3 locations
...proofs, identifying gaps, hidden assumptions, and formalizable sub‐structures. Construct formalizations that test the limits of existing proof assistants...
11 days ago in LifeworQReport -
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr Wellington, Wellington +2 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 -
Platform Lead – Agentic AI (Low Code)
Reserve Bank of New Zealand Wellington, Wellington +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 LifeworQReport
Receive alerts for this search