Formal Jobs in Australia
ethical AI opportunities in Australia
Jobs Found
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Australia, Western Australia, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 Australia, South Australia, Australia
A
Remote Lean 4 & Mathlib Verification Scientist
🏢 Alignerr
📍 Australia, Western Australia, Australia
A
Remote Lean 4 Researcher - Formal Methods for AI Proofs
🏢 Alignerr
📍 Australia, South Australia, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Australia, South Australia, Australia
A
Lean 4 Proof Engineer — Formalization Frontier (Remote)
🏢 Alignerr
📍 Australia, Western Australia, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Australia, Western Australia, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Remote Lean 4 Formal Methods Researcher
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Lean 4 Formal Proof Researcher (Remote)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Lean 4 Formal Proof Researcher — Remote
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Peel Refrigeration Apprentice Path to Formal Apprenticeship
🏢 Apprenticeship Support Australia
📍 Perth, Tasmania, Australia
A
Lean 4 Formal Methods Researcher (Remote Contract)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Remote Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Lean 4 Formal Methods Researcher (Remote Contract)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Remote Researcher: Lean 4 & Formal Proof Expert
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Remote Researcher: Lean 4 & Formal Proof Expert
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
L
Restructuring and Insolvency Manager
🏢 Lead Group
📍 Australia, Western Australia, Australia
M
Macca’s Restaurant Cleaning & Maintenance Specialist
🏢 McDonald’s Australia Limited
📍 Australia, Australia, Australia
A
IT Systems & Application Support Specialist
🏢 Amentum
📍 Australia, Coomalie Shire, Australia
C
Finance Officer, Strategic Reporting & Capital
🏢 ClearCompany
📍 Australia, Australia, Australia
C
Academic Tutor (MedView)
🏢 Crimson Global Academy
📍 Australia, New South Wales, Australia
A
Project Accountant — Multi-division Finance & Insights
🏢 Ahrens
📍 Australia, South Australia, Australia
N
Farm Insurance Account Manager
🏢 Nutrien Ag Solutions
📍 Australia, South Australia, Australia
S
Senior Mining Project Manager - FIFO Leadership & Safety
🏢 SSH Mining
📍 Australia, Western Australia, Australia
B
Regional Sales Leader, Mining Wear (Flexible Options)
🏢 Bradken
📍 Australia, Western Australia, Australia
O
Lead Chef: Premium Dining in a Fast-Paced Kitchen
🏢 Ozlinxmigration
📍 Australia, New South Wales, Australia
E
Onsite HR Advisor – FIFO Mining & Employee Relations
🏢 Eastern Guruma
📍 Australia, Western Australia, Australia
J
Project Engineer: Fast-Track to Project Management in Civil
🏢 JK Williams Group
📍 Australia, Australia, Australia
T
Veterans: Project & Programme Management Roles
🏢 Turner & Townsend Plc.
📍 Australia, South Australia, Australia
W
Strategic HR Partner for Senior Leaders | AI-Driven Change
🏢 WSP in Australia
📍 Australia, Western Australia, Australia
U
Defence Electronics Field Technician – Systems & Upgrades
🏢 University Engineers' Club
📍 Australia, South Australia, Australia
N
Senior Accountant – Finance Transformation & Reporting (Hybrid)
🏢 Nissan Motor Co., Ltd.
📍 Australia, Victoria, Australia
V
Automotive Technical Training Leader (Hybrid)
🏢 Volkswagen Group Australia
📍 Australia, Victoria, Australia
R
Remote Data Entry Clerk - Flexible Hours (FT/PT)
🏢 Remote Career
📍 Australia, Western Australia, Australia
L
Beauty Therapist: Transform Skin with CuttingEdge Treatments
🏢 Laser Clinics
📍 Australia, New South Wales, Australia
A
Senior Clinical Data Manager - Flexible, Impactful Trials
🏢 Avance Clinical
📍 Australia, Australia, Australia