Mathematician Jobs in Brisbane
1 - 8 of 8
Search Results - Mathematician Jobs in Brisbane
Alignerr-Brisbane QLD-
A leading tech company seeks a remote Mathematics Expert to develop and solve advanced mathematical problems. The ideal candidate holds a Master's or PhD in Mathematics and has experience with Python or MATLAB. Responsibilities include collaborating...
Read more
Alignerr-Brisbane QLD-
A leading AI research company seeks a Lean 4 Proof Engineer to translate informal mathematical proofs into formal proofs. This fully remote role allows mathematicians to work flexibly on projects that push the limits of automated reasoning...
Read more
Alignerr-Brisbane QLD-
A cutting-edge AI firm is seeking mathematicians and formal methods specialists for remote roles to formalize mathematical proofs in Lean 4. Candidates should have a Master's degree in relevant fields and strong experience in rigorous proof writing...
Read more
QUT (Queensland University of Technology)-Brisbane QLD-
is intended for applied mathematicians. In addition to the primary responsibility of undertaking research that advances the MACSYS mission, there may also be opportunities to contribute to undergraduate or postgraduate teaching in the mathematical sciences...
Read more
Alignerr-Brisbane QLD-
A leading AI research partnership is searching for a Researcher specializing in Lean 4 & Formal Proof Systems. The position is remote and offers competitive hourly pay of $70 to $150, ideal for mathematicians passionate about formal verification...
Read more
Mindrift-Brisbane City QLD-
A specialist AI opportunity provider in Australia seeks contributors for project-based work in mathematics. Ideal candidates will have a degree in Mathematics, over 3 years of professional experience, and proficiency in Python and English. Tasks...
Read more
Alignerr-Brisbane QLD-
for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.
Organization: Alignerr
Position: Formal Verification Scientist (Lean 4 & Mathlib)
Type: Hourly Contract
Compensation: $70–$150 /hour
Location: Remote
Commitment...
Read more
Alignerr-Brisbane City QLD-
for mathematicians passionate about formal verification and pushing the limits of modern proof assistants.
Organization: Alignerr
Position: Formal Verification Scientist (Lean 4 & Mathlib)
Type: Hourly Contract
Compensation: $70–$150 /hour
Location: Remote...
Read more
Companies now hiring in Brisbane:
More jobs – Scientific in Brisbane:
Mathematician jobs – More locations:
Broaden your job search:
Don’t miss out on new job vacancies!
Create a job alert for: Mathematician, Brisbane
It's free, and you can cancel email updates at any time