Lean 4 Proof Engineer Mathematical Formalization Jobs in City Of Melbourne
ethical AI opportunities in Australia
Jobs Found
A
Remote Lean 4 Proof Engineer | Mathematical Formalization
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 City of Brisbane, Queensland, 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
Remote Lean 4 Proof Engineer: Shape Formal Math
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Remote Lean 4 Proof Engineer: Formalize Advanced Math
🏢 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
Lean 4 Formal Proof Researcher (Remote)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Remote Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Remote Formal Verification Scientist — Lean 4 & Mathlib
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Remote Lean 4 Proof Architect | Formal Verification Scientist
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Applied Lean 4 Formal Methods Researcher (Remote)
🏢 Alignerr
📍 City of Brisbane, Queensland, Australia
A
Remote Lean 4 Formal Methods Researcher
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Lean 4 Researcher - Formal Proof Systems (Remote)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Lean 4 Formal Proof Researcher — Remote
🏢 Alignerr
📍 Council of the City of Sydney, New South Wales, Australia
A
Continuous Improvement Engineer Cranbourne West VIC
🏢 American President Lines
📍 Melbourne, Melbourne, Australia
A
Continuous Improvement Engineer | Cranbourne West VIC
🏢 American President Lines
📍 City of Melbourne, Victoria, Australia
C
Continuous Improvement Engineer | Cranbourne West Vic
🏢 CMA CGM
📍 City of Melbourne, Victoria, Australia
A
Senior Engineer, Ports Marine & Coastal
🏢 Aurecon
📍 Darwin, City of Darwin, Australia
C
Lean Improvement Engineer - Logistics & Operations
🏢 CMA CGM
📍 City of Melbourne, Victoria, Australia
A
Production Engineer: From Concept to Production Innovation
🏢 ARB Corporation Ltd
📍 City of Melbourne, Victoria, Australia
C
Continuous Improvement Engineer
🏢 CEVA Logistics
📍 City of Melbourne, Victoria, Australia
B
Mathematics Programmer – Melbourne, Australia
🏢 BMM Testlabs
📍 Melbourne, Victoria, Australia
S
Tableau Developer (Data Explorer)
🏢 Softtest Pays
📍 Darwin, City of Darwin, Australia
A
Applied Physics - AI Data Trainer
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Process Engineer - Amazon Logistics
🏢 Amazon
📍 City of Melbourne, Victoria, Australia
A
Lean Continuous Improvement Engineer - Logistics (Hybrid)
🏢 American President Lines
📍 Melbourne, Melbourne, Australia
F
Senior Engineer- Tools Lifecycle Management
🏢 FinXL
📍 Melbourne, Melbourne, Australia
W
Senior Electrical Engineer, Building Services
🏢 WSP in Australia
📍 Darwin, City of Darwin, Australia
C
M&A Analyst – Frontline Deals, Direct Senior Access
🏢 Collins Executive Recruitment
📍 City of Melbourne, Victoria, Australia
O
Optical Dispenser and Keyholder
🏢 Oscar Wylee Pty
📍 Darwin, City of Darwin, Australia
A
Remote Mathematics Expert (Masters/PhD) for AI Reasoning
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
L
Head of Marketing — Growth Engine
🏢 Lean Marketing
📍 City of Melbourne, Victoria, Australia
C
GAAP Accountant: GL, Reconciliation & Audits
🏢 Coaxis, Inc
📍 Melbourne, Melbourne, Australia
N
Senior Optimisation Architect - Flexible Network Investments
🏢 NBN Co ltd.
📍 Melbourne, Melbourne, Australia
L
Remote Mathematics Expert for AI Research & Training
🏢 Labelbox
📍 Melbourne, Melbourne, Australia
W
Part-Time Cash Processor & Safe Attendant — Free Meals
🏢 West HQ
📍 Council of the City of Sydney, New South Wales, Australia
T
Senior Software Engineer (Java)
🏢 Tabcorp
📍 City of Melbourne, Victoria, Australia