Lean 4 Proof Engineer Mathematical Formalization Jobs in Australia

ethical AI opportunities in Australia

Jobs Found

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Australia, South Australia, Australia
Full-time Business-Engineering-&-Management
View Career Details

Remote Lean 4 Proof Engineer | Mathematical Formalization

🏢 Alignerr 📍 City of Brisbane, Queensland, Australia
Full-time Business-Engineering-&-Management
View Career Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 City of Brisbane, Queensland, Australia
Full-time Business-Engineering-&-Management
View Career Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Australia, Western Australia, Australia
Full-time Business-Engineering-&-Management
View Career Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Council of the City of Sydney, New South Wales, Australia
Full-time Business-Engineering-&-Management
View Career Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 City of Melbourne, Victoria, Australia
Full-time Business-Engineering-&-Management
View Career Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Australia, South Australia, Australia
Full-time Science,-Research-and-Teaching
View Career Details

Applied Formal Methods Researcher (Lean 4)

🏢 Alignerr 📍 Council of the City of Sydney, New South Wales, Australia
Full-time IT-&-Technology
View Career Details

Applied Formal Methods Researcher (Lean 4)

🏢 Alignerr 📍 City of Melbourne, Victoria, Australia
Full-time IT-&-Technology
View Career Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Australia, Western Australia, Australia
Full-time Science,-Research-and-Teaching
View Career Details