7 mathematical researcher job offers in Auckland

1-7 of 7 jobs

Sort by
Profession
City
  • Auckland  7
Regions
  • Auckland  7
Distance
Contract Type
  • Apprenticeship
  • Contractor
  • Graduate
  • Permanent
  • Temporary
  • Volunteer
Working Hours
  • Full Time
  • Part Time
Experience
  • 0+
  • 1+
  • 2+
  • 3+
  • 4+
  • 5+
Salary
to
Publication date
  • Today  1
  • Within the last 7 days  3

  • Remote Lean 4 Formal Methods Researcher

    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...
    4 days ago in Whatjobs

    Report

  • Applied Formal Methods Researcher (Lean 4)

    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...
    4 days ago in Whatjobs

    Report

  • Researcher - Lean 4 & Formal Proof Systems

    new 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...
    21 h 24 minutes ago in Whatjobs

    Report

  • 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...
    10 days ago in LifeworQ

    Report

  • 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...
    9 days ago in LifeworQ

    Report

  • 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...
    7 days ago in Whatjobs

    Report

  • 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...
    8 days ago in LifeworQ

    Report
X

Get notified when we have new listings available for mathematical researcher auckland

x
Receive the latest job postings by email
By creating this email alert, you agree to our Legal Notice and our Privacy Policy. You can unsubscribe at any time.

Receive alerts for this search

Manage my alerts

We use cookies to personalize your experience. If that’s okay, just keep browsing. More info