Mathematician Jobs
1 - 15 of 29
Search Results - Mathematician Jobs
Alignerr-Auckland-
Alignerr is seeking a Researcher specializing in Lean 4 and Formal Proof Systems to translate mathematical proofs into machine-verifiable formats. This fully remote role invites mathematicians to work on cutting-edge AI projects, requiring strong...
Read more
Alignerr-Auckland-
like Lean 4. Responsibilities include translating proofs and collaborating with AI researchers to improve verification processes. This is a flexible contract role suitable for mathematicians who are passionate about formal verification.
#J-18808-Ljbffr
Read more
Alignerr-Rotorua-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Alexandra-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Auckland-
for mathematicians with serious proof‑writing chops to formalize advanced mathematical arguments in Lean 4 — working at the very frontier of what modern proof assistants can express, verify, and automate.
This is a fully remote, flexible contract role built...
Read more
Alignerr-Dunedin-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Wellington-
At 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 proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about...
Read more
Alignerr-Queenstown-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Tauranga-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Whakatane-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Opotiki-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Waimate-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Oamaru-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Ashburton-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
Alignerr-Timaru-
for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.Organization: AlignerrPosition: Researcher - Lean 4 & Formal Proof SystemsType: Hourly ContractCompensation: $70–$150...
Read more
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