Mathematician Jobs
1 - 15 of 20
Search Results - Mathematician Jobs
Westland High School-Greymouth
mathematician seeking a new context and community to serve, or they may be looking for a supportive, intimate environment to know their learners and grow and develop their professional capacity.
The successful applicant must be a NZ registered teacher...
Ōtorohanga College-Hamilton
learners to see themselves as capable mathematicians. The successful applicant will be an outstanding classroom practitioner, student-centered and committed to continuous improvement, contributing to the broader college leadership and culture.
#J-18808...
Westland High School-Westport
mathematician seeking a new context and community to serve, or they may be looking for a supportive, intimate environment to know their learners and grow and develop their professional capacity.
The successful applicant must be a NZ registered teacher...
1 similar jobs: Hokitika
Alignerr Corp.-Bendigo
remote, flexible contract role for mathematicians who are passionate about formal verification and want their expertise to matter at the frontier of AI research.
Organization: Alignerr
Type: Hourly Contract
Location: Remote
Commitment: 10–40 hours...
Alignerr Corp.-Dunedin
Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 proofs, advancing automated proof capabilities. This fully remote, hourly contract role suits mathematicians passionate about rigorous proof, formal systems...
26 similar jobs: Kaikoura, Queenstown, Greerton, Wellington, Rotorua...
Alignerr Corp.-Bendigo
proofs — working at the very frontier of what automated proof assistants can express and reason about.
This is a fully remote, flexible contract role built for mathematicians who are passionate about rigorous proof, formal systems, and the future...
Alignerr Corp.-Wellington
Lean 4 Proof Engineer — Mathematical FormalizationAbout The RoleWhat if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops...
Alignerr Corp.-Nelson
Researcher – Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate...
Alignerr Corp.-New Plymouth
Researcher – Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate...
Alignerr Corp.-Ashburton
Researcher – Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate...
14 similar jobs: Waimate, Balclutha, Te Kuiti, Alexandra, Oamaru...
Alignerr Corp.-Christchurch
Researcher – Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate...
Alignerr Corp.-Queenstown
Researcher – Lean 4 & Formal Proof Systems (AI Training)About The RoleWhat if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate...
Alignerr Corp.-Paeroa
Lean 4 Proof Engineer — Mathematical FormalizationAbout The RoleWhat if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops...
26 similar jobs: Thames, Fairlie, Hamilton, Stratford, Queenstown...
Alignerr Corp.-Te Kuiti
Lean 4 formalizations — working at the very edge of what modern proof assistants can do.
This is a fully remote, flexible contract role for mathematicians who are passionate about formal verification and excited by the challenge of expressing rigorous...
20 similar jobs: Greerton, Timaru, Ashburton, Fairlie, Balclutha...
Alignerr Corp.-Auckland
Lean 4 formalizations — working at the very edge of what modern proof assistants can do.
This is a fully remote, flexible contract role for mathematicians who are passionate about formal verification and excited by the challenge of expressing rigorous...
12
More jobs – Scientific:
Don’t miss out on new job vacancies!
Create a job alert for: Mathematician
It's free, and you can cancel email updates at any time
12