Date Posted

Skills

Location

Employer/Recruiter

All Filters

You refined by

Full-time

Data Theorem Jobs In Australia - 11 Job Positions Available

Top Cities:

data theorem jobs in Australia

1 – 1 of 11 jobs

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr ( None ) +10 other locations

About the Role Looking for Formal Verification Scientists to translate complex, human‑written mathematics into precise, machine‑verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. This is a fully

Full-time Scaffolding AI Automated Reasoning Frontier Discrete Mathematics

Alignerr 2 days ago

Recommended jobs for you

Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr ( None ) +9 other locations

Remote Friendly Full-time

Alignerr 2 days ago

Remote Formal Verification Scientist: Lean 4 & Mathlib

Alignerr ( Sydney NSW ) +10 other locations

Remote Friendly Full-time

Alignerr 2 days ago

Remote Lean 4 & Mathlib Formal Verification Scientist

Alignerr ( Adelaide SA ) +10 other locations

Remote Friendly Full-time

Alignerr 2 days ago

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr ( None ) +9 other locations

Alignerr 2 days ago

AECOM jobs

Senior Mechanical Engineer

AECOM ( Fortitude Valley QLD )

AECOM 16 hours ago

QinetiQ jobs

Project Manager

QinetiQ ( Adelaide SA ) +9 other locations

QinetiQ 2 days ago

RGIT Australia jobs

Early Childhood Educator (Epping Road, Macquarie Park)

RGIT Australia ( Sydney NSW ) +11 other locations

RGIT Australia 2 days ago

Project Manager

QinetiQ Australia ( Adelaide SA ) +8 other locations

QinetiQ Australia 2 days ago

QinetiQ jobs

Project Manager

QinetiQ ( Adelaide SA )

QinetiQ 1 hour ago

QinetiQ Limited jobs

Project Manager

QinetiQ Limited ( Adelaide SA ) +1 other locations

QinetiQ Limited 2 days ago

Also try:

Upload Your ResumeLet employers contact you directly

hit counter

All Filters Apply

Show me new jobs