Mathematician Jobs in Kawerau
1 - 8 of 8
Search Results - Mathematician Jobs in Kawerau
Alignerr Corp.-Kawerau-
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...
Read more
Alignerr Corp.-Bendigo, 973 km from Kawerau-
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...
Read more
Alignerr Corp.-Kawerau-
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...
Read more
Alignerr Corp.-Bendigo, 973 km from Kawerau-
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...
Read more
Alignerr Corp.-Kawerau-
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...
Read more
Alignerr Corp.-Kawerau-
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/week...
Read more
Alignerr Corp.-Whakatane, 30 km from Kawerau-
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...
Read more
Alignerr Corp.-Kawerau-
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...
Read more
More jobs – Scientific in Kawerau:
Broaden your job search:
Don’t miss out on new job vacancies!
Create a job alert for: Mathematician, Kawerau
It's free, and you can cancel email updates at any time