Date Posted

Skills

Location

Job Type

Employer/Recruiter

All Filters

Data Theorem Jobs In None - 10 Job Positions Available

Top Cities:

data theorem jobs nationwide

data theorem jobs in none

1 – 1 of 10 jobs

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr ( None ) +9 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 Discrete Mathematics Bridge Writing AI Mathematics

Alignerr 2 days ago

Recommended jobs for you

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

Remote Formal Verification Scientist: Lean 4 & Mathlib

Alignerr ( Sydney NSW ) +10 other locations

Remote Friendly Full-time

Alignerr 2 days ago

Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr ( None ) +9 other locations

Remote Friendly Full-time

Alignerr 2 days ago

RGIT Australia jobs

Early Childhood Educator (Epping Road, Macquarie Park)

RGIT Australia ( Sydney NSW ) +12 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 2 hours ago

AECOM jobs

Senior Mechanical Engineer

AECOM ( Fortitude Valley QLD )

AECOM 18 hours ago

QinetiQ jobs

Project Manager

QinetiQ ( Adelaide SA ) +9 other locations

QinetiQ 2 days 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