Formal Verification Scientist Lean 4 Mathlib Jobs in Melbourne
ethical AI opportunities in Australia
Jobs Found
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Melbourne, Victoria, Australia
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Remote Lean 4 Proof Engineer: Shape Formal Math
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Lean 4 Formal Methods Researcher (Remote Contract)
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
A
Formal Proof Systems Researcher (Lean) - Remote
🏢 Alignerr
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist, Workforce Insights & ML
🏢 Culture Amp
📍 Melbourne, Victoria, Australia
H
Senior Business Analyst
🏢 HealthShare Victoria
📍 Melbourne, Victoria, Australia
C
Pharmaceutical Commissioning Qualification Validation Engineer
🏢 Cagents
📍 Melbourne, Melbourne, Australia
I
Veterinary Laboratory Scientist
🏢 Idexx
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist, Workforce Insights & ML
🏢 Culture Amp
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist - Credit Modeling & Lead (Remote)
🏢 Cox Purtell Staffing Services
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist, Workforce Insights & ML in Production
🏢 Culture Amp
📍 City of Melbourne, Victoria, Australia
D
Marketing Data Scientist — Hybrid ANZ, Growth & Insights
🏢 Dijitally
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist, Workforce Insights & ML
🏢 Culture Amp
📍 City of Melbourne, Victoria, Australia
H
Enterprise GenAI Data Scientist for Customer Enablement
🏢 H2O.ai
📍 City of Melbourne, Victoria, Australia
C
Senior Test Manager - Verification & Validation
🏢 Confidential
📍 City of Melbourne, Victoria, Australia
C
Senior Data Scientist, Workforce Insights & ML Production
🏢 Culture Amp
📍 City of Melbourne, Victoria, Australia
L
Housekeeping Room Attendants Melbourne CBD
🏢 LUXXE Outsourced Hotel Services
📍 Melbourne, Melbourne, Australia
I
Research and Development Scientist
🏢 Ion Opticks Pty
📍 Melbourne, Victoria, Australia
D
Senior Catering Attendant - Flight Checker Melbourne
🏢 Dnata Travel Group
📍 Melbourne, Melbourne, Australia